| dbo:abstract |
In topology and related areas of mathematics, a subnet is a generalization of the concept of subsequence to the case of nets. The analogue of "subsequence" for nets is the notion of a "subnet". The definition is not completely straightforward, but is designed to allow as many theorems about subsequences to generalize to nets as possible. There are three non-equivalent definitions of "subnet". The first definition of a subnet was introduced by John L. Kelley in 1955 and later, Stephen Willard introduced his own (non-equivalent) variant of Kelley's definition in 1970. Subnets in the sense of Willard and subnets in the sense of Kelley are the most commonly used definitions of "subnet" but they are each not equivalent to the concept of "subordinate filter", which is the analog of "subsequence" for filters (they are not equivalent in the sense that there exist subordinate filters on whose filter/subordinate–filter relationship cannot be described in terms of the corresponding net/subnet relationship). A third definition of "subnet" (not equivalent to those given by Kelley or Willard) that is equivalent to the concept of "subordinate filter" was introduced independently by Smiley (1957), Aarnes and Andenaes (1972), Murdeshwar (1983), and possibly others, although it is not often used. This article discusses the definition due to Stephen Willard (the other definitions are described in the article Filters in topology#Subnets). (en) |
| dbo:wikiPageID |
12687840 (xsd:integer) |
| dbo:wikiPageLength |
14472 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1121219125 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Compact_space dbr:Mathematics dbr:Closure_(topology) dbr:Function_composition dbr:Stephen_Willard dbr:Subsequence dbr:John_L._Kelley dbr:Tychonoff_plank dbr:1970 dbr:Ceiling_function dbr:Topology dbc:Topology dbr:Filters_in_topology dbr:Cardinality dbr:Directed_set dbr:Cofinal_(mathematics) dbr:Neighbourhood_system dbr:Net_(mathematics) dbr:Sequence dbr:Image_(mathematics) dbr:Uncountable_set dbr:Order-preserving dbr:Final_function dbr:Cofinal_subset dbr:Cluster_point_of_a_net dbr:Monotone_function_(order_theory) |
| dbp:wikiPageUsesTemplate |
dbt:Annotated_link dbt:Cite_book dbt:Em dbt:Reflist dbt:See_also dbt:Sfn dbt:Visible_anchor dbt:Schechter_Handbook_of_Analysis_and_Its_Foundations dbt:Willard_General_Topology |
| dct:subject |
dbc:Topology |
| gold:hypernym |
dbr:Generalization |
| rdf:type |
owl:Thing |
| rdfs:comment |
In topology and related areas of mathematics, a subnet is a generalization of the concept of subsequence to the case of nets. The analogue of "subsequence" for nets is the notion of a "subnet". The definition is not completely straightforward, but is designed to allow as many theorems about subsequences to generalize to nets as possible. This article discusses the definition due to Stephen Willard (the other definitions are described in the article Filters in topology#Subnets). (en) |
| rdfs:label |
Subnet (mathematics) (en) |
| rdfs:seeAlso |
dbr:Topology dbr:Filters |
| owl:sameAs |
freebase:Subnet (mathematics) wikidata:Subnet (mathematics) https://global.dbpedia.org/id/4vQjn |
| prov:wasDerivedFrom |
wikipedia-en:Subnet_(mathematics)?oldid=1121219125&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Subnet_(mathematics) |
| is dbo:wikiPageRedirects of |
dbr:Cofinal_subnet |
| is dbo:wikiPageWikiLink of |
dbr:John_L._Kelley dbr:Axiomatic_foundations_of_topological_spaces dbr:Filter_(set_theory) dbr:Filters_in_topology dbr:Accumulation_point dbr:Cofinal_(mathematics) dbr:Net_(mathematics) dbr:Open_and_closed_maps dbr:Cofinal_subnet |
| is foaf:primaryTopic of |
wikipedia-en:Subnet_(mathematics) |