About: Finite intersection property

Property	Value
dbo:description	任意の有限部分族が空でない共通部分を持つこと (ja) in topology (en)
dbo:wikiPageExternalLink	http://www.efnet-math.org/~david/mathematics/filters.pdf%7Carchive-url=https:/web.archive.org/web/20071009170540/http:/www.efnet-math.org/~david/mathematics/filters.pdf
dbo:wikiPageWikiLink	dbr:Hausdorff_space dbr:Pi-system dbr:Mathematics dbc:Set_theory dbr:Closed_set dbr:Closure_(topology) dbr:Real_number dbr:Fréchet_filter dbr:Image_(mathematics) dbr:Neighbourhood_(mathematics) dbr:Set_(mathematics) dbr:Bijection dbr:Intersection_(set_theory) dbr:Subset dbr:Topological_space dbr:Empty_set dbr:Tychonoff's_theorem dbr:Lebesgue_measure dbr:Open_set dbr:Power_set dbr:Sunflower_(mathematics) dbr:Rational_number dbr:Locally_compact_space dbr:Uncountable_set dbr:General_topology dbr:Total_order dbr:Family_of_sets dbr:Compact_space dbr:Borel_set dbr:Perfect_set dbc:General_topology dbc:Families_of_sets dbr:Closed_interval dbr:Decimal_place dbr:Discrete_topology dbr:Ultrafilter_(set_theory) dbr:Filter_(set_theory) dbr:Neighbourhood_basis dbr:Neighbourhood_filter dbr:Neighbourhood_subbasis dbr:Proper_filter_(set_theory) dbr:Digit_(math) dbr:Comeagre dbr:Compactness dbr:Free_filter dbr:NonEmpty dbr:Indiscrete_topology dbr:Minimal_element dbr:One-point_compactification dbr:Prefilter dbr:Ultrafilter_lemma dbr:Uncountable dbr:Strict_subset dbr:Surjection dbr:Fixed_filter_(math) dbr:Kernel_(filters) dbr:Logic_Journal_of_the_IGPL
dbp:mathStatement	Every closed interval with is uncountable. Therefore, is uncountable. (en) Every perfect, locally compact Hausdorff space is uncountable. (en)
dbp:name	Corollary (en)
dbp:title	Finite intersection property (en)
dbp:urlname	FiniteIntersectionProperty (en)
dbp:wikiPageUsesTemplate	dbt:Planetmathref dbt:Császár_General_Topology dbt:Bourbaki_General_Topology_Part_II_Chapters_5-10 dbt:Bourbaki_General_Topology_Part_I_Chapters_1-4 dbt:Munkres_Topology dbt:Wilansky_Topology_for_Analysis_2008 dbt:Math_theorem dbt:Set_theory dbt:Math_proof dbt:Annotated_link dbt:Cite_journal dbt:Cite_web dbt:Main dbt:Pi dbt:Reflist dbt:See_also dbt:Sfn dbt:Short_description dbt:Families_of_sets dbt:Comfort_Negrepontis_The_Theory_of_Ultrafilters_1974 dbt:Joshi_Introduction_to_General_Topology dbt:Narici_Beckenstein_Topological_Vector_Spaces dbt:Bourbaki_Topological_Vector_Spaces_Part_1_Chapters_1–5 dbt:Dugundji_Topology dbt:Wilansky_Modern_Methods_in_Topological_Vector_Spaces dbt:Dolecki_Mynard_Convergence_Foundations_Of_Topology
dct:subject	dbc:Set_theory dbc:General_topology dbc:Families_of_sets
gold:hypernym	dbr:Nonempty
rdf:type	owl:Thing owl:Thing
rdfs:label	Finite intersection property (en) Centrovaný systém (cs) Propiedad de la intersección finita (es) Proprietà dell'intersezione finita (it) 有限交叉性 (ja) Własność skończonych przekrojów (pl) Властивість скінченного перетину (uk) 有限交集性质 (zh)
owl:sameAs	yago-res:Finite intersection property freebase:Finite intersection property wikidata:Finite intersection property dbpedia-es:Finite intersection property dbpedia-it:Finite intersection property dbpedia-pl:Finite intersection property dbpedia-he:Finite intersection property dbpedia-ja:Finite intersection property dbpedia-zh:Finite intersection property dbpedia-cs:Finite intersection property dbpedia-uk:Finite intersection property dbpedia-global:Finite intersection property
prov:wasDerivedFrom	wikipedia-en:Finite_intersection_property?oldid=1312263140&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Finite_intersection_property
is dbo:wikiPageDisambiguates of	dbr:FIP
is dbo:wikiPageRedirects of	dbr:Centered_System_of_Sets dbr:Centered_system_of_sets dbr:Sfip dbr:Strong_finite_intersection_property
is dbo:wikiPageWikiLink of	dbr:Krein–Milman_theorem dbr:Pi-system dbr:List_of_mathematical_abbreviations dbr:Filters_in_topology dbr:List_of_set_identities_and_relations dbr:Compactness_theorem dbr:Banach–Alaoglu_theorem dbr:Net_(mathematics) dbr:Baire_category_theorem dbr:Tychonoff's_theorem dbr:Markov–Kakutani_fixed-point_theorem dbr:FIP dbr:Helly's_theorem dbr:General_frame dbr:Kernel_(set_theory) dbr:Filter_(mathematics) dbr:Kőnig's_lemma dbr:Inverse_limit dbr:Nonstandard_analysis dbr:Compact_space dbr:De_Bruijn–Erdős_theorem_(graph_theory) dbr:List_of_general_topology_topics dbr:Ultrafilter dbr:Countable_set dbr:Perfect_set dbr:Index_of_combinatorics_articles dbr:Glossary_of_set_theory dbr:Convergence_space dbr:Ultrafilter_(set_theory) dbr:Filter_(set_theory) dbr:Centered_System_of_Sets dbr:Centered_system_of_sets dbr:Sfip dbr:Strong_finite_intersection_property
is foaf:primaryTopic of	wikipedia-en:Finite_intersection_property