This HTML5 document contains 144 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
n14http://www.efnet-math.org/~david/mathematics/filters.pdf%7Carchive-url=https:/web.archive.org/web/20071009170540/http:/www.efnet-math.org/~david/mathematics/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
n19https://global.dbpedia.org/id/
dbpedia-hehttp://he.dbpedia.org/resource/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-cshttp://cs.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbr:Finite_intersection_property
rdf:type
owl:Thing yago:Family108078020 yago:Unit108189659 yago:Abstraction100002137 yago:YagoLegalActor yago:YagoLegalActorGeo yago:YagoPermanentlyLocatedEntity yago:SocialGroup107950920 yago:WikicatSetFamilies yago:Group100031264 yago:Organization108008335
rdfs:label
Centrovaný systém Властивість скінченного перетину Finite intersection property Własność skończonych przekrojów 有限交集性质 Proprietà dell'intersezione finita 有限交叉性 Propiedad de la intersección finita
rdfs:comment
在点集拓扑学中，有限交集性质是集合 X 的子集的集合（子集族，即幂集 的子集）的性质。一个集合有这个性质如果这个集合的任何有限个子集的交集为非空。 La proprietà dell'intersezione finita in topologia è una proprietà di alcune famiglie non vuote di insiemi non vuoti. En matemáticas, una familia de conjuntos F tiene la propiedad de la intersección finita si la intersección de toda subfamilia de F finita y no vacía tiene intersección no nula. 数学において、集合族が有限交叉的又は有限交叉性（ゆうげんこうさせい、finite intersection property）を持つとは、任意の有限部分族が空でない共通部分を持つことである。更に集合族が強有限交叉性（きょうゆうげんこうさせい、strong finite intersection property）を持つとは、任意の有限部分族を取ったとき、その共通部分が無限集合になることをいう。叉は常用漢字でないため有限交差性と書かれることも多い。 Własność skończonych przekrojów – własność rodzin zbiorów rozważana i używana głównie w topologii i teorii mnogości. In general topology, a branch of mathematics, a non-empty family A of subsets of a set is said to have the finite intersection property (FIP) if the intersection over any finite subcollection of is non-empty. It has the strong finite intersection property (SFIP) if the intersection over any finite subcollection of is infinite. Sets with the finite intersection property are also called centered systems and filter subbases. Centrovaný systém je matematický pojem z oboru teorie množin, týkající se konkrétně studia systémů podmnožin nějaké dané množiny. У загальній топології, гілці математики, кажуть, що колекція A підмножин множини X має властивіть скінченного перетину (ВСП), якщо перетин будь-якої скінченної підколекції A не порожній. Вона має сильну властивість скінченного перетину (СВСП), якщо перетин будь-якої скінченної підколекції — скінченний. Центрована система множин — це колекція множин із властивістю скінченного перетину.
dbp:name
Corollary
dcterms:subject
dbc:Set_theory dbc:Families_of_sets dbc:General_topology
dbo:wikiPageID
365026
dbo:wikiPageRevisionID
1120592643
dbo:wikiPageWikiLink
dbr:Ultrafilter_(set_theory) dbr:Locally_compact_space dbr:Uncountable_set dbc:Set_theory dbr:Neighbourhood_basis dbr:Filter_(set_theory) dbr:Ultrafilter_lemma dbr:Neighbourhood_subbasis dbr:Pi-system dbr:General_topology dbr:Tychonoff's_theorem dbr:Family_of_sets dbr:Fixed_filter_(math) dbr:Topological_space dbr:Fréchet_filter dbr:Neighbourhood_filter dbr:Empty_set dbr:NonEmpty dbr:One-point_compactification dbr:Proper_filter_(set_theory) dbr:Mathematics dbr:Subset dbr:Bijection dbr:Compact_space dbr:Free_filter dbr:Sunflower_(mathematics) dbr:Closed_interval dbr:Strict_subset dbr:Prefilter dbr:Digit_(math) dbr:Comeagre dbr:Neighbourhood_(mathematics) dbr:Logic_Journal_of_the_IGPL dbr:Compactness dbr:Kernel_(filters) dbr:Perfect_set dbr:Minimal_element dbr:Set_(mathematics) dbr:Surjection dbr:Indiscrete_topology dbc:Families_of_sets dbr:Closed_set dbr:Intersection_(set_theory) dbr:Image_(mathematics) dbr:Power_set dbr:Decimal_place dbc:General_topology dbr:Borel_set dbr:Real_number dbr:Closure_(topology) dbr:Hausdorff_space dbr:Discrete_topology dbr:Uncountable dbr:Lebesgue_measure dbr:Rational_number dbr:Total_order dbr:Open_set
dbo:wikiPageExternalLink
n14:filters.pdf
owl:sameAs
dbpedia-zh:有限交集性质 dbpedia-uk:Властивість_скінченного_перетину freebase:m.01_wqr dbpedia-ja:有限交叉性 dbpedia-pl:Własność_skończonych_przekrojów n19:2hupp dbpedia-he:תכונת_החיתוך_הסופי dbpedia-it:Proprietà_dell'intersezione_finita wikidata:Q2915225 dbpedia-cs:Centrovaný_systém dbpedia-es:Propiedad_de_la_intersección_finita yago-res:Finite_intersection_property
dbp:wikiPageUsesTemplate
dbt:Cite_journal dbt:Planetmathref dbt:Cite_web dbt:Bourbaki_Topological_Vector_Spaces_Part_1_Chapters_1–5 dbt:Dolecki_Mynard_Convergence_Foundations_Of_Topology dbt:Reflist dbt:Joshi_Introduction_to_General_Topology dbt:Narici_Beckenstein_Topological_Vector_Spaces dbt:Császár_General_Topology dbt:Comfort_Negrepontis_The_Theory_of_Ultrafilters_1974 dbt:Math_proof dbt:Wilansky_Topology_for_Analysis_2008 dbt:Dugundji_Topology dbt:Wilansky_Modern_Methods_in_Topological_Vector_Spaces dbt:Families_of_sets dbt:Munkres_Topology dbt:Set_theory dbt:Bourbaki_General_Topology_Part_II_Chapters_5-10 dbt:Pi dbt:Math_theorem dbt:Annotated_link dbt:See_also dbt:Bourbaki_General_Topology_Part_I_Chapters_1-4 dbt:Sfn dbt:Main
dbp:id
4178
dbp:title
Finite intersection property
dbo:abstract
La proprietà dell'intersezione finita in topologia è una proprietà di alcune famiglie non vuote di insiemi non vuoti. У загальній топології, гілці математики, кажуть, що колекція A підмножин множини X має властивіть скінченного перетину (ВСП), якщо перетин будь-якої скінченної підколекції A не порожній. Вона має сильну властивість скінченного перетину (СВСП), якщо перетин будь-якої скінченної підколекції — скінченний. Центрована система множин — це колекція множин із властивістю скінченного перетину. En matemáticas, una familia de conjuntos F tiene la propiedad de la intersección finita si la intersección de toda subfamilia de F finita y no vacía tiene intersección no nula. In general topology, a branch of mathematics, a non-empty family A of subsets of a set is said to have the finite intersection property (FIP) if the intersection over any finite subcollection of is non-empty. It has the strong finite intersection property (SFIP) if the intersection over any finite subcollection of is infinite. Sets with the finite intersection property are also called centered systems and filter subbases. The finite intersection property can be used to reformulate topological compactness in terms of closed sets; this is its most prominent application. Other applications include proving that certain perfect sets are uncountable, and the construction of ultrafilters. 在点集拓扑学中，有限交集性质是集合 X 的子集的集合（子集族，即幂集 的子集）的性质。一个集合有这个性质如果这个集合的任何有限个子集的交集为非空。 Centrovaný systém je matematický pojem z oboru teorie množin, týkající se konkrétně studia systémů podmnožin nějaké dané množiny. 数学において、集合族が有限交叉的又は有限交叉性（ゆうげんこうさせい、finite intersection property）を持つとは、任意の有限部分族が空でない共通部分を持つことである。更に集合族が強有限交叉性（きょうゆうげんこうさせい、strong finite intersection property）を持つとは、任意の有限部分族を取ったとき、その共通部分が無限集合になることをいう。叉は常用漢字でないため有限交差性と書かれることも多い。 Własność skończonych przekrojów – własność rodzin zbiorów rozważana i używana głównie w topologii i teorii mnogości.
dbp:mathStatement
Every perfect, locally compact Hausdorff space is uncountable. Every closed interval with is uncountable. Therefore, is uncountable.
gold:hypernym
dbr:Nonempty
prov:wasDerivedFrom
wikipedia-en:Finite_intersection_property?oldid=1120592643&ns=0
dbo:wikiPageLength
17582
foaf:isPrimaryTopicOf
wikipedia-en:Finite_intersection_property