- Home
- Documents
*Math for the people, by the people. Encyclopedia .Counterexamples in Topology, Dover, ISBN...*

prev

next

out of 49

View

212Download

0

Embed Size (px)

(more info)

Math for the people, by the people. Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS

Advanced search

topological space (Definition)

"topological space" is owned by djao. [ full author list (2) ]

http://planetmath.org/http://aux.planetmath.org/doc/donate.htmlhttp://planetmath.org/encyclopediahttp://planetmath.org/?op=reqlisthttp://planetmath.org/?op=forumshttp://planetmath.org/?op=sitedochttp://wiki.planetmath.org/http://planetmath.org/?op=randomentryhttp://aux.planetmath.org/doc/rss.htmlhttp://planetmath.org/?op=advsearchhttp://planetmath.org/?op=aboutratingshttp://planetmath.org/?op=aboutratingshttp://planetmath.org/encyclopedia/ProperSubset2.htmlhttp://planetmath.org/encyclopedia/Complement.htmlhttp://planetmath.org/encyclopedia/Closed.htmlhttp://planetmath.org/encyclopedia/Refinement2.htmlhttp://planetmath.org/encyclopedia/Refinement2.htmlhttp://planetmath.org/encyclopedia/DiscreteTopologicalSpace.htmlhttp://planetmath.org/encyclopedia/FinitePowerset2.htmlhttp://planetmath.org/encyclopedia/FinitePowerset2.htmlhttp://planetmath.org/encyclopedia/CoarseTopology.htmlhttp://planetmath.org/encyclopedia/SubspaceTopology.htmlhttp://planetmath.org/encyclopedia/Product2.htmlhttp://planetmath.org/encyclopedia/MetricTopology.htmlhttp://planetmath.org/?op=getuser&id=24http://planetmath.org/?op=authorlist&from=objects&id=380

(more info)

Math for the people, by the people. Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS

Advanced search

compact (Definition)

"compact" is owned by djao. [ full author list (2) ]

http://planetmath.org/http://aux.planetmath.org/doc/donate.htmlhttp://planetmath.org/encyclopediahttp://planetmath.org/?op=reqlisthttp://planetmath.org/?op=forumshttp://planetmath.org/?op=sitedochttp://wiki.planetmath.org/http://planetmath.org/?op=randomentryhttp://aux.planetmath.org/doc/rss.htmlhttp://planetmath.org/?op=advsearchhttp://planetmath.org/?op=aboutratingshttp://planetmath.org/?op=aboutratingshttp://planetmath.org/encyclopedia/TopologicalSpace.htmlhttp://planetmath.org/encyclopedia/SetOfSets.htmlhttp://planetmath.org/encyclopedia/OpenSubset.htmlhttp://planetmath.org/encyclopedia/AxiomOfUnion.htmlhttp://planetmath.org/encyclopedia/Finite.htmlhttp://planetmath.org/encyclopedia/SubspaceTopology.htmlhttp://planetmath.org/encyclopedia/Subset.htmlhttp://planetmath.org/encyclopedia/T2Topology.htmlhttp://planetmath.org/encyclopedia/Quasicompact2.htmlhttp://planetmath.org/?op=getuser&id=24http://planetmath.org/?op=authorlist&from=objects&id=503

Dense set 1

Dense setIn topology and related areas of mathematics, a subset A of a topological space X is called dense (in X) if any point xin X belongs to A or is a limit point of A.[1] Informally, for every point in X, the point is either in A or arbitrarily"close" to a member of A - for instance, every real number is either a rational number or has one arbitrarily close to it(see Diophantine approximation).Formally, a subset A of a topological space X is dense in X if for any point x in X, any neighborhood of x contains atleast one point from A. Equivalently, A is dense in X if and only if the only closed subset of X containing A is Xitself. This can also be expressed by saying that the closure of A is X, or that the interior of the complement of A isempty.The density of a topological space X is the least cardinality of a dense subset of X.

Density in metric spacesAn alternative definition of dense set in the case of metric spaces is the following. When the topology of X is givenby a metric, the closure of A in X is the union of A and the set of all limits of sequences of elements in A (its limitpoints),

Then A is dense in X if

Note that . If is a sequence of dense open sets in a complete metric

space, X, then is also dense in X. This fact is one of the equivalent forms of the Baire category theorem.

ExamplesThe real numbers with the usual topology have the rational numbers as a countable dense subset which shows thatthe cardinality of a dense subset of a topological space may be strictly smaller than the cardinality of the space itself.The irrational numbers are another dense subset which shows that a topological space may have several disjointdense subsets.By the Weierstrass approximation theorem, any given complex-valued continuous function defined on a closedinterval [a,b] can be uniformly approximated as closely as desired by a polynomial function. In other words, thepolynomial functions are dense in the space C[a,b] of continuous complex-valued functions on the interval [a,b],equipped with the supremum norm.Every metric space is dense in its completion.

PropertiesEvery topological space is dense in itself. For a set X equipped with the discrete topology the whole space is the onlydense set. Every non-empty subset of a set X equipped with the trivial topology is dense, and every topology forwhich every non-empty subset is dense must be trivial.Denseness is transitive: Given three subsets A, B and C of a topological space X with A B C such that A is densein B and B is dense in C (in the respective subspace topology) then A is also dense in C.The image of a dense subset under a surjective continuous function is again dense. The density of a topological spaceis a topological invariant.A topological space with a connected dense subset is necessarily connected itself.

http://en.wikipedia.org/w/index.php?title=Topologyhttp://en.wikipedia.org/w/index.php?title=Mathematicshttp://en.wikipedia.org/w/index.php?title=Subsethttp://en.wikipedia.org/w/index.php?title=Topological_spacehttp://en.wikipedia.org/w/index.php?title=Limit_pointhttp://en.wikipedia.org/w/index.php?title=Real_numberhttp://en.wikipedia.org/w/index.php?title=Rational_numberhttp://en.wikipedia.org/w/index.php?title=Diophantine_approximationhttp://en.wikipedia.org/w/index.php?title=Neighborhood_%28mathematics%29http://en.wikipedia.org/w/index.php?title=Closed_sethttp://en.wikipedia.org/w/index.php?title=Closure_%28topology%29http://en.wikipedia.org/w/index.php?title=Interior_%28topology%29http://en.wikipedia.org/w/index.php?title=Cardinalityhttp://en.wikipedia.org/w/index.php?title=Metric_spacehttp://en.wikipedia.org/w/index.php?title=Closure_%28mathematics%29http://en.wikipedia.org/w/index.php?title=Open_sethttp://en.wikipedia.org/w/index.php?title=Baire_category_theoremhttp://en.wikipedia.org/w/index.php?title=Real_numberhttp://en.wikipedia.org/w/index.php?title=Rational_numberhttp://en.wikipedia.org/w/index.php?title=Countable_sethttp://en.wikipedia.org/w/index.php?title=Cardinalityhttp://en.wikipedia.org/w/index.php?title=Irrational_numberhttp://en.wikipedia.org/w/index.php?title=Disjoint_setshttp://en.wikipedia.org/w/index.php?title=Weierstrass_approximation_theoremhttp://en.wikipedia.org/w/index.php?title=Complex_numberhttp://en.wikipedia.org/w/index.php?title=Continuous_functionhttp://en.wikipedia.org/w/index.php?title=Closed_intervalhttp://en.wikipedia.org/w/index.php?title=Closed_intervalhttp://en.wikipedia.org/w/index.php?title=Uniform_convergencehttp://en.wikipedia.org/w/index.php?title=Polynomial_functionhttp://en.wikipedia.org/w/index.php?title=Supremum_normhttp://en.wikipedia.org/w/index.php?title=Metric_spacehttp://en.wikipedia.org/w/index.php?title=Completion_%28metric_space%29http://en.wikipedia.org/w/index.php?title=Topological_spacehttp://en.wikipedia.org/w/index.php?title=Discrete_topologyhttp://en.wikipedia.org/w/index.php?title=Trivial_topologyhttp://en.wikipedia.org/w/index.php?title=Transitive_relationhttp://en.wikipedia.org/w/index.php?title=Subspace_topologyhttp://en.wikipedia.org/w/index.php?title=Surjective_functionhttp://en.wikipedia.org/w/index.php?title=Topological_invarianthttp://en.wikipedia.org/w/index.php?title=Connected_space

Dense set 2

Continuous functions into Hausdorff spaces are determined by their values on dense subsets: if two continuousfunctions f, g : X Y into a Hausdorff space Y agree on a dense subset of X then they agree on all of X.

Related notionsA point x of a subset A of a topological space X is called a limit point of A (in X) if every neighbourhood of x alsocontains a point of A other than x itself, and an isolated point of A otherwise. A subset without isolated points is saidto be dense-in-itself.A subset A of a topological space X is called nowhere dense (in X) if there is no neighborhood in X on which A isdense. Equivalently, a subset of a topological space is nowhere dense if and only if the interior of its closure isempty. The interior of the complement of a nowhere dense set is always dense. The complement of a closed nowheredense set is a dense open set.A topological space with a countable dense subset is called separable. A topological space is a Baire space if andonly if the intersection of countably many dense open sets is always dense. A topological space is called resolvable ifit is the union of two disjoint dense subsets. More generally, a topological space is called -resolvable if it contains pairwise disjoint dense sets.An embedding of a topological space X as a dense subset of a compact space is called a compactification of X.A linear operator between topological vector spaces X and Y is said to be densely defined if its domain is a densesubset of X and if its range is contained within Y. See also continuous linear extension.A topological space X is hyperconnected if and only if every nonempty open set is dense in X. A topological space issubmaximal if and only if every dense subset is open.

References

Notes[1] Steen, L. A.; Seebach, J. A. (1995), Counterexamples in Topology, Dover, ISBN048668735X

General references Nicolas Bourbaki (1989) [1971]. General Topology, Chapters 14. Elements of Mathematics. Springer-Verlag.

ISBN3-540-64241-2. Steen, Lynn Arthur; Seebach, J. Arth