Convergence space (original) (raw)
In mathematics, a convergence space, also called a generalized convergence, is a set together with a relation called a convergence that satisfies certain properties relating elements of X with the family of filters on X. Convergence spaces generalize the notions of convergence that are found in point-set topology, including metric convergence and uniform convergence. Every topological space gives rise to a canonical convergence but there are convergences, known as non-topological convergences, that do not arise from any topological space. Examples of convergences that are in general non-topological include convergence in measure and almost everywhere convergence. Many topological properties have generalizations to convergence spaces.
| Property | Value |
|---|---|
| dbo:abstract | In mathematics, a convergence space, also called a generalized convergence, is a set together with a relation called a convergence that satisfies certain properties relating elements of X with the family of filters on X. Convergence spaces generalize the notions of convergence that are found in point-set topology, including metric convergence and uniform convergence. Every topological space gives rise to a canonical convergence but there are convergences, known as non-topological convergences, that do not arise from any topological space. Examples of convergences that are in general non-topological include convergence in measure and almost everywhere convergence. Many topological properties have generalizations to convergence spaces. Besides its ability to describe notions of convergence that topologies are unable to, the category of convergence spaces has an important categorical property that the category of topological spaces lacks. The category of topological spaces is not an exponential category (or equivalently, it is not Cartesian closed) although it is contained in the exponential category of , which is itself a subcategory of the (also exponential) category of convergence spaces. (en) |
| dbo:wikiPageExternalLink | http://dolecki.perso.math.cnrs.fr/18dolecki.pdf http://dolecki.perso.math.cnrs.fr/init_IX07.pdf |
| dbo:wikiPageID | 66374616 (xsd:integer) |
| dbo:wikiPageLength | 16356 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1087341221 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Cartesian_closed dbr:Power_set dbr:Preorder dbr:Binary_relation dbr:Ultrafilter_(set_theory) dbr:Mathematics dbr:Convergence_in_measure dbr:Locally_compact dbr:Topology_(structure) dbr:Hausdorff_space dbc:Mathematical_structures dbc:Topology dbr:Filter_(set_theory) dbr:Filters_in_topology dbr:Finite_intersection_property dbr:Family_of_sets dbr:Upper_set dbr:Category_(mathematics) dbr:Category_of_topological_spaces dbr:Exponential_object dbr:Topological_space dbr:Topological_properties dbr:Indiscrete_topology dbr:Point-set_topology dbr:Almost_everywhere_convergence dbr:Neighborhood_filter dbr:Prefilter dbr:Pseudotopologies dbr:Pseudotopological_space |
| dbp:wikiPageUsesTemplate | dbt:Annotated_link dbt:Cite_journal dbt:Em dbt:Math dbt:Refbegin dbt:Refend dbt:Reflist dbt:See_also dbt:Sfn dbt:Short_description dbt:Areas_of_mathematics dbt:Schechter_Handbook_of_Analysis_and_Its_Foundations dbt:Topology dbt:Dolecki_Mynard_Convergence_Foundations_Of_Topology |
| dct:subject | dbc:Mathematical_structures dbc:Topology |
| rdf:type | owl:Thing |
| rdfs:comment | In mathematics, a convergence space, also called a generalized convergence, is a set together with a relation called a convergence that satisfies certain properties relating elements of X with the family of filters on X. Convergence spaces generalize the notions of convergence that are found in point-set topology, including metric convergence and uniform convergence. Every topological space gives rise to a canonical convergence but there are convergences, known as non-topological convergences, that do not arise from any topological space. Examples of convergences that are in general non-topological include convergence in measure and almost everywhere convergence. Many topological properties have generalizations to convergence spaces. (en) |
| rdfs:label | Convergence space (en) |
| rdfs:seeAlso | dbr:Convergent_filter dbr:Topology dbr:Filters |
| owl:sameAs | wikidata:Convergence space https://global.dbpedia.org/id/FSdis |
| prov:wasDerivedFrom | wikipedia-en:Convergence_space?oldid=1087341221&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Convergence_space |
| is dbo:wikiPageDisambiguates of | dbr:Convergence |
| is dbo:wikiPageRedirects of | dbr:Generalized_convergence dbr:Preconvergence dbr:Preconvergence_space |
| is dbo:wikiPageWikiLink of | dbr:Ultrafilter_(set_theory) dbr:Convergence_in_measure dbr:Closed_set dbr:Hausdorff_space dbr:Filters_in_topology dbr:Cauchy_space dbr:Pointwise_convergence dbr:Convergence dbr:Category_of_topological_spaces dbr:T1_space dbr:Generalized_convergence dbr:Preconvergence dbr:Preconvergence_space |
| is rdfs:seeAlso of | dbr:Filters_in_topology |
| is foaf:primaryTopic of | wikipedia-en:Convergence_space |