About: Pretopological space     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FPretopological_space

In general topology, a pretopological space is a generalization of the concept of topological space. A pretopological space can be defined in terms of either filters or a preclosure operator. The similar, but more abstract, notion of a Grothendieck pretopology is used to form a Grothendieck topology, and is covered in the article on that topic. A net converges to a point in if is eventually in every neighborhood of A pretopological space is a topological space when its closure operator is idempotent. A map between two pretopological spaces is continuous if it satisfies for all subsets

AttributesValues
rdfs:label
  • Pretopological space (en)
rdfs:comment
  • In general topology, a pretopological space is a generalization of the concept of topological space. A pretopological space can be defined in terms of either filters or a preclosure operator. The similar, but more abstract, notion of a Grothendieck pretopology is used to form a Grothendieck topology, and is covered in the article on that topic. A net converges to a point in if is eventually in every neighborhood of A pretopological space is a topological space when its closure operator is idempotent. A map between two pretopological spaces is continuous if it satisfies for all subsets (en)
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
sameAs
dbp:wikiPageUsesTemplate
has abstract
  • In general topology, a pretopological space is a generalization of the concept of topological space. A pretopological space can be defined in terms of either filters or a preclosure operator. The similar, but more abstract, notion of a Grothendieck pretopology is used to form a Grothendieck topology, and is covered in the article on that topic. Let be a set. A neighborhood system for a pretopology on is a collection of filters one for each element of such that every set in contains as a member. Each element of is called a neighborhood of A pretopological space is then a set equipped with such a neighborhood system. A net converges to a point in if is eventually in every neighborhood of A pretopological space can also be defined as a set with a preclosure operator (Čech closure operator) The two definitions can be shown to be equivalent as follows: define the closure of a set in to be the set of all points such that some net that converges to is eventually in Then that closure operator can be shown to satisfy the axioms of a preclosure operator. Conversely, let a set be a neighborhood of if is not in the closure of the complement of The set of all such neighborhoods can be shown to be a neighborhood system for a pretopology. A pretopological space is a topological space when its closure operator is idempotent. A map between two pretopological spaces is continuous if it satisfies for all subsets (en)
gold:hypernym
prov:wasDerivedFrom
page length (characters) of wiki page
foaf:isPrimaryTopicOf
is Link from a Wikipage to another Wikipage of
is Wikipage redirect of
is foaf:primaryTopic of
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (62 GB total memory, 54 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software