incomplete date August 2009 In mathematics , generaltopology or point set topology is the branch of topology ... from other branches of topology in that the topological spaces may be very general, and do not have to be at all similar to manifold s. Generaltopology provides the most general framework where fundamental concepts of topology such as open closed sets, continuity, interior exterior boundary points, and limit points could be defined. Definition Main Topological Space A topology is a pair X , .... History Generaltopology grew out of a number of areas, most importantly the following the detailed study of subsets of the real line once known as the topology of point sets , this usage is now obsolete ... s, in the early days of functional analysis . Generaltopology assumed its present form around 1940 ..., it is in generaltopology that basic notions are defined and theorems about them proved. This includes the following open set open and closed set s interior topology interior and closure topology closure neighbourhood topology neighbourhood and closeness topology closeness compact space compactness and connected space connectedness continuous function topology continuous function mathematics ... topology , geometric topology , and differential topology . As the name implies, generaltopology provides the common foundation for these areas. An important variant of generaltopology is pointless ... and locales . See also List of examples in generaltopology Glossary of generaltopology for detailed definitions List of generaltopology topics for related articles Category of topological spaces References Some standard books on generaltopology include Bourbaki cite Topologie G n rale cite cite GeneralTopology cite ISBN 0 387 19374 X John L. Kelley cite GeneralTopology cite ISBN 0 387 ... cite ISBN 0 470 09605 5 Ryszard Engelking cite GeneralTopology cite ISBN 3 88538 006 4 ... . Category Generaltopology bg it Topologia generale ja pt Topologia geral ru ... more details
This is a list of useful examples in generaltopology , a field of mathematics . Alexandrov topology Cantor space Co kappa topology Cocountable topology Cofinite topology Compact open topology Compactification mathematics Compactification Discrete space Discrete topology Double pointed cofinite topology Extended real number line Finite topological space Hawaiian earring Hilbert cube Irrational cable on a torus Lakes of Wada Long line topology Long line Order topology Lexicographical order Lexicographical dictionary order Ordinal number Ordinal number topology Real line Split interval Overlapping interval topology Moore plane Sierpinski space Lower limit topology Sorgenfrey line Sorgenfrey plane Space filling curve Topologist s sine curve Trivial topology Unit interval Zariski topology See also Counterexamples in Topology Category Mathematics related lists Generaltopology Category Generaltopology Category Topological spaces ... more details
This is a list of generaltopology topics , by Wikipedia page. Basic concepts Topological space Topological property Open set , closed set Clopen set Closure topology Boundary topology Dense topology G delta set , F sigma set closeness mathematics neighbourhood mathematics Continuity topology Homeomorphism Local homeomorphism Open and closed maps Germ mathematics Base topology , subbase Open cover Covering space Atlas topology Limits Limit point Net topology Filter topology Ultrafilter Topological ... footer Category Mathematics related lists Generaltopology Category Generaltopology Category Outlines ... sets Topological constructions direct sum topology direct sum and the dual construction product topology product subspace topology subspace and the dual construction quotient topology quotient Topological tensor product Examples See also List of examples in generaltopology Discrete space Locally constant function Trivial topology Cofinite topology Finer topology Product topology Restricted product Quotient space Unit interval Continuum topology Extended real number line Long line topology Sierpinski ... Uniform norm Weak topology Strong topology Hilbert cube Lower limit topology Sorgenfrey plane Real tree Compact open topology Zariski topology Kuratowski closure axioms Unicoherent Solenoid mathematics ... connected space Metric space s Metric topology Manhattan distance Ultrametric space P adic numbers ... of metric spaces Topology and order theory Stone duality Stone s representation theorem for Boolean algebras Specialization pre order Sober space Spectral space Alexandrov topology Upper topology Scott topology Scott continuity Lawson topology Descriptive set theory Polish space Polish Space Cantor ... Lebesgue s number lemma Combinatorial topology Polytope Simplex Simplicial complex CW complex ... of an open covering Foundations of algebraic topology Simply connected Semi locally simply connected Path topology Homotopy Homotopy lifting property Pointed space Wedge sum smash product Cone topology ... more details
. Topology topics Some theorems in generaltopology Every closed interval mathematics interval in R ... connected space has a universal cover . Generaltopology also has some surprising connections to other ... categories, and with that the definition of quite general cohomology theories. See also Portal Topology List of algebraic topology topics List of generaltopology topics List of geometric topology ... Topology glossary Generaltopology List of examples in generaltopology References reflist Further ... GeneralTopology , Addison Wesley 1966 . cite book first E. last Breitenberger year 2006 chapter ..., Stephen title GeneralTopology publisher Dover Publications year 2004 id ISBN 0 486 43479 6 External ... one surface and one edge. Such shapes are an object of study in topology. Topology from the Greek ... or analysis situs Greek Latin for picking apart of place . This later acquired the modern name of topology Specify . By the middle of the 20th century, topology had become an important area of study within mathematics. The word topology is used both for the mathematical discipline and for a family ... object of topology. Of particular importance are homeomorphism s , which can be defined as continuous function s with a continuous inverse function inverse . Topology includes many subfields. The most basic and traditional division within topology is Generaltopology point set topology , which establishes the foundational aspects of topology and investigates concepts inherent to topological spaces basic examples include compactness and connectedness algebraic topology , which generally tries ... mathematics homology and geometric topology , which primarily studies manifold s and their embeddings placements in other manifolds. Some of the most active areas, such as low dimensional topology and graph ... , the simplest non trivial knot See also topology glossary for definitions of some of the terms used in topology and topological space for a more technical treatment of the subject. History Image Konigsberg ... more details
In mathematics , the uniform topology on a space has several different meanings depending on the context In functional analysis, it sometimes refers to a polar topology on a topological vector space. In generaltopology, it is the topology carried by a uniform space . In real analysis, it is the topology of uniform convergence . Disambig ... more details
Unreferenced date December 2009 In functional analysis , a branch of mathematics , the ultraweak topology , also called the weak topology , or weak operator topology or weak topology , on the set B H of bounded operator s on a Hilbert space is the weak topology weak topology obtained from the predual B sub sub H of B H , the trace class operators on H . In other words it is the weakest topology such that all elements of the predual are continuous when considered as functions on B H . Relation with the weak operator topology The ultraweak topology is similar to the weak operator topology. For example, on any norm bounded set the weak operator and ultraweak topologies are the same, and in particular the unit ball is compact in both topologies. The ultraweak topology is stronger than the weak operator topology. One problem with the weak operator topology is that the dual of B H with the weak operator topology is too small . The ultraweak topology fixes this problem the dual is the full predual B sub sub H of all trace class operators. In general the ultraweak topology is more useful than the weak operator topology, but it is more complicated to define, and the weak operator topology is often more apparently convenient. The ultraweak topology can be obtained from the weak operator topology as follows. If H sub 1 sub is a separable infinite dimensional Hilbert space then B H can be embedded in B H H sub 1 sub by tensoring with the identity map on H sub 1 sub . Then the restriction of the weak operator topology on B H H sub 1 sub is the ultraweak topology of B H . See also Topologies on the set of operators on a Hilbert space ultrastrong topology weak operator topology DEFAULTSORT Ultraweak Topology Category Topology of function spaces Category Von Neumann algebras ... more details
and quotient spaces. The natural topology on a subset of a topological space is the subspace topology . This is the coarsest topology which makes the inclusion map continuous. The natural topology on a quotient space quotient of a topological space is the quotient topology . This is the finest topology which makes the quotient map continuous. Other examples include the topology induced by the Helly metric . References cite book last Willard first Stephen title GeneralTopology publisher Addison ...unreferenced date May 2011 In any domain of mathematics , a space has a natural topology if there is a topology on the space which is best adapted to its study within the domain in question. In many cases this imprecise definition means little more than the assertion that the topology in question arises naturally or canonically see mathematical jargon in the given context. Note that in some cases multiple ... X , then the Order topology Induced order topology induced order topology , i.e. the order topology of the totally ordered Y , where this order is inherited from X , is coarser than the subspace topology of the order topology of X . Natural topology does quite often have a more specific meaning, at least given some prior contextual information the natural topology is a topology which makes a natural map or collection of maps Continuous function topology continuous . This is still imprecise, even ... property. However, there is often a finest topology finest or coarsest topology coarsest topology ... topology. The simplest cases which nevertheless cover many examples are the initial topology and the final topology Willard 1970 . The initial topology is the coarsest topology on a space X which makes a given collection of maps from X to topological spaces X sub i sub continuous. The final topology is the finest topology on a space X which makes a given collection of maps from topological spaces ... Mathematical structures Category Topologytopology stub ... more details
In mathematics and theoretical computer science the Lawson topology , named after J. D. Lawson, is a topology on partially ordered set s used in the study of domain theory . The lower topology on a poset P is generated by the subbasis consisting of all complements of principal filter mathematics filters on P . The Lawson topology on P is the smallest common refinement of the lower topology and the Scott topology on P . Properties If P is a complete upper semilattice , the Lawson topology on P is always a complete T sub 1 sub topology. See also Scott continuity References G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, D. S. Scott 2003 , Continuous Lattices and Domains , Encyclopedia of Mathematics and its Applications, Cambridge University Press. ISBN 0 521 80338 1 External links http www.entcs.org files mfps19 83011.pdf How Do Domains Model Topologies? , Pawel Waszkiewicz, Electronic Notes in Theoretical Computer Science 83 2004 topology stub Category Domain theory Category Generaltopology ... more details
of metrization theory and generaltopology see History of the separation axioms for more. List of mentioned counterexamples colbegin cols 2 finite set Finite discrete topology Countable discrete topology Uncountable discrete topology Indiscrete topology Partition topology Odd even topology Deleted integer topology Particular point topology Finite particular point topology Particular point topology Countable particular point topology Particular point topology Uncountable particular point topology Sierpinski space , see also particular point topology Closed extension topology Finite excluded point topology Countable excluded point topology Uncountable excluded point topology Open extension topology Either or topology Finite complement topology on a countable space Finite complement topology on an uncountable space Countable complement topology Double pointed countable complement topology Compact complement topology Countable Fort space Uncountable Fort space Fortissimo space Arens Fort space Modified Fort space Euclidean space Euclidean topology Cantor set Rational number s Irrational ... space Michael s closed subspace colend See also List of examples in generaltopology References Lynn ... Generaltopology Category 1978 books Category Mathematics books ...Infobox Book name Counterexamples in Topology image image caption author Lynn Steen Lynn Arthur Steen ... Counterexamples in Topology 1970, 2nd ed. 1978 is a book on mathematics by topology topologist s Lynn ... a counterexample which exhibits one property but not the other. In Counterexamples in Topology , Steen ... , Minnesota in the summer of 1967, canvassed the field of topology for such counterexamples and compiled ... space which is not second countable space second countable is counterexample 3, the discrete topology ... topology One point compactification of the rationals Hilbert space Fr chet space Hilbert cube Order topology Open ordinal space 0, where Closed ordinal space 0, where Open ordinal space ... more details
In functional analysis , the ultrastrong topology , or &sigma strong topology , or strongest topology on the set B H of bounded operator s on a Hilbert space is the topology defined by the family of seminorms math p omega x omega x x 1 2 math for positive elements math omega math of the predual math ... John title On a Certain Topology for Rings of Operators journal The Annals of Mathematics 2nd Ser ... 292 3A37 3A1 3C111 3AOACTFR 3E2.0.CO 3B2 S ref Relation with the strong operator topology The ultrastrong topology is similar to the strong operator topology. For example, on any norm bounded set the strong operator and ultrastrong topologies are the same. The ultrastrong topology is stronger than the strong operator topology. One problem with the strong operator topology is that the dual of B H with the strong operator topology is too small . The ultrastrong topology fixes this problem the dual is the full predual B sub sub H of all trace class operators. In general the ultrastrong topology is better than the strong operator topology, but is more complicated to define so people usually use the strong operator topology if they can get away with it. The ultrastrong topology can be obtained from the strong operator topology as follows. If H sub 1 sub is a separable infinite dimensional Hilbert ... sub 1 sub . Then the restriction of the strong operator topology on B H &otimes H sub 1 sub is the ultrastrong topology of B H . Equivalently, it is given by the family of seminorms math x mapsto left ... rp 68 The adjoint map is not continuous in the ultrastrong topology. There is another topology called the ultrastrong sup sup topology, which is the weakest topology stronger than the ultrastrong topology such that the adjoint map is continuous. ref name TakesakiI rp 68 See also Topologies on the set of operators on a Hilbert space ultraweak topology strong operator topology References Reflist Category Topology of function spaces Category von Neumann algebras ... more details
of P. For these reasons this topology is called the extension topology of X plus P, with which one extends to X P the open and the closed sets of X. Note that the subspace topology of X as a subset of X P is the original topology of X, while the subspace topology of P as a subset of X P is the discrete space discrete topology . Being Y a topological space and R a subset of Y, one might ask whether the extension topology of Y R plus R is the same as the original topology of Y, and the answer is in general no. Note the similitude of this extension topology construction ... of Y, and the answer is in general no. Note that the closed extension topology of X ...In topology , a branch of mathematics , an extension topology is a topology structure topology placed ... of extension topology, described in the sections below. Extension topology Let X be a topological space and P a set disjoint from X. Consider in X P the topology whose open sets are of the form ... topology Let X be a topological space and P a set disjoint from X. Consider in X P the topology ... set of X. For this reason this topology is called the open extension topology of X plus P, with which one extends to X P the open sets of X. Note that the subspace topology of X as a subset of X P is the original topology of X, while the subspace topology of P as a subset of X P is the discrete space discrete topology . Note that the closed sets of X .... Being Y a topological space and R a subset of Y, one might ask whether the extension topology of Y R plus R is the same as the original topology of Y, and the answer is in general no. Note that the open extension topology of X P is comparison of topologies smaller than the extension topology of X P. Being Z a set and p a point in Z, one obtains the excluded point topology construction by considering in Z the discrete space discrete topology and applying the open extension ... more details
Spacetime topology , the Topological space topological structure of spacetime , is a subject studied primarily in general relativity . This physical theory models gravitation as a Lorentzian manifold a spacetime and the concepts of topology thus become important in analysing local as well as global aspects of spacetime. The study of spacetime topology is especially important in physical cosmology . Types of topology There are two main types of topology for a spacetime math M math Manifold topology As with any manifold, a spacetime possesses a natural manifold topology. Here the open set s are the image of open sets in math mathbb R 4 math . Path or Zeeman topology Definition ref name Bombelli http www.phy.olemiss.edu 7Eluca Topics t top st.html Luca Bombelli website ref The topology math rho math in which a subset math E subset M math is open topology open if for every timelike curve math c math there is a set math O math in the manifold topology such that math E cap c O cap c math . It is the finest topology which induces the same topology as math M math does on timelike curves. Properties Strictly finer topology finer than the manifold topology. It is therefore Hausdorff space Hausdorff , Separable topology separable but not Locally compact space locally compact . A Base topology base for the topology is sets of the form math I p,U cup I p,U cup p math for some point math p in M ... structure Causal structure chronological past and future . Alexandrov topology The Alexandrov topology on spacetime, is the Comparison of topologies coarsest topology such that both math I E math and math I E math are open for all subsets math E subset M math . Here the Base topology base of open set s for the topology are sets of the form math I x cap I y math for some points math ,x,y in M math . This topology coincides with the manifold topology if and only if the manifold is Causality conditions Strongly causal strongly causal but in general it is coarser. Note, that in mathematics, an Alexandrov ... more details
In generaltopology and related areas of mathematics , the final topology or strong topology or colimit topology or inductive topology on a Set mathematics set math X math , with respect to a family of functions into math X math , is the finest topology on X which makes those functions continuous function topology continuous . Definition Given a set math X math and a family of topological space s math Y i math with functions math f i Y i to X math the final topology math tau math on math X math is the finest topology such that each math f i Y i to X, tau math is continuous function topology continuous . Explicitly, the final topology may be described as follows a subset U of X is open if and only if math f i 1 U math is open in Y sub i sub for each i &isin I . Examples The quotient topology is the final topology on the quotient space with respect to the quotient map . The disjoint union topology disjoint union is the final topology with respect to the family of canonical injection s. More generally, a topological space is coherent topology coherent with a family of subspaces if it has the final topology coinduced by the inclusion maps. The direct limit of any direct system mathematics ... functor. See also Initial topology References Stephen Willard, GeneralTopology , 1970 Addison Wesley ... topology determined by the canonical morphisms. Given a family of sets family of topologies &tau sub i sub on a fixed set X the final topology on X with respect to the functions id sub X sub X , &tau ... on X . That is, the final topology &tau is the intersection set theory intersection of the topologies ... under f sub i sub is closed open in math Y i math for each i &isin I . The final topology on X ... I . Image FinalTopology 01.png center Characteristic property of the final topology By the universal property of the disjoint union topology we know that given any family of continuous maps f sub ... f will be a quotient map if and only if X has the final topology determined by the maps f sub ... more details
In commutative algebra , the constructible topology on the spectrum of a ring spectrum math operatorname Spec A math of a commutative ring math A math is a topology where each closed set is the image of math operatorname Spec B math in math operatorname Spec A math for some Algebra ring theory algebra B over A . An important feature of this construction is that the map math operatorname Spec B to operatorname Spec A math is a closed map with respect to the constructible topology. With respect to this topology, math operatorname Spec A math is a compact set Definition compact ref Some authors prefer the term quasicompact here. ref , Hausdorff , and totally disconnected topological space . In general the constructible topology is a finer topology than the Zariski topology , but the two topologies will coincide if and only if math A operatorname nil A math is a von Neumann regular ring , where math operatorname nil A , math is the nilradical of a ring nilradical of A . See also Constructible set topology References Reflist Citation last1 Atiyah first1 Michael Francis author1 link Michael Atiyah last2 Macdonald first2 I.G. author2 link Ian G. Macdonald title Introduction to Commutative Algebra publisher Westview Press isbn 978 0 201 40751 8 year 1969 page 50 Citation last Knight first J. T. authorlink title Commutative Algebra publisher Cambridge University Press isbn 0 521 108193 9 year 1971 pages 121 123 topology stub Category Commutative algebra Category Topology ... more details
In mathematics , the upper topology on a partially ordered set X is the coarsest topology in which the closure of a singleton mathematics singleton math a math is the order section math a x leq a math for each math a in X math . If math leq math is a partial order, the upper topology is the least order consistent topology in which the open set s are the up set s. The lower topology induced by the preorder is defined similarly in terms of the down set s. The preoder inducing the upper topology is its specialization preorder , but the specialization preorder of the lower topology is opposite to the inducing preorder. The real upper topology is most naturally defined on the upper extended real line math infty, infty mathbb R cup infty math by the system math a, infty a in mathbb R cup pm infty math of open sets. Similarly, the real lower topology math infty,a a in mathbb R cup pm infty math is naturally defined on the lower real line math infty, infty mathbb R cup infty math . A real function on a topological space is upper semi continuous if and only if it is lower continuous, i.e. is Continuous function continuous with respect to the lower topology on the lower extended line math infty, infty math . Similarly, a function into the upper real line is lower semi continuous if and only if it is upper continuous, i.e. is Continuous function continuous with respect to the upper topology on math infty, infty math . References cite book author Gerhard Gierz coauthors K.H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, D. S. Scott title Continuous Lattices and Domains publisher Cambridge University Press date 2003 isbn 0 521 80338 1 page 510 cite book last Kelley first John L. authorlink John L. Kelley title GeneralTopology publisher Van Nostrand Reinhold date 1955 page 101 cite book last Knapp first Anthony W. title Basic Real Analysis publisher Birkhhauser date 2005 isbn 0817632506 page 481 Category Generaltopology Category Order theory topology stub ... more details
Category Generaltopology Category Topological spaces fa fr Topologie grossi re it Topologia ...In topology , a topological space with the trivial topology is one where the only open set s are the empty set and the entire space. Such a space is sometimes called an indiscrete space , and its topology sometimes called an indiscrete topology . Intuitively, this has the consequence that all points ... zero . The trivial topology is the topology with the least possible number of open set s, since the definition of a topology requires these two sets to be open. Despite its simplicity, a space X with more than 1 number one element and the trivial topology lacks a key desirable property it is not a T0 ... unusual&mdash include The only closed set s are the empty set and X . The only possible basis topology ... space . Not being Hausdorff, X is not an order topology , nor is it metrizable . X is, however ... X is continuous function topology continuous . X is path connected and so connected space connected ... countable , separable space separable and Lindel f space Lindel f . All subspace topology subspace s of X have the trivial topology. All quotient space s of X have the trivial topology Arbitrary product space product s of trivial topological spaces, with either the product topology or box topology , have the trivial topology. All sequence s in X limit mathematics converge to every point of X . In particular ... compact . The interior topology interior of every set except X is empty. The closure topology closure ... carrying the trivial topology are homeomorphic iff they have the same cardinality . In some sense the opposite of the trivial topology is the discrete topology , in which every subset is open. The trivial topology belongs to a uniform space in which the whole cartesian product X × X is the only entourage topology entourage . Let Top be the category of topological spaces with continuous ... that puts the trivial topology on a given set, then G is adjoint functors right adjoint ... more details
In mathematics , the poset topology associated with a partially ordered set S or poset for short is the Alexandrov topology open sets are upper set s on the poset of finite chains of S, ordered by inclusion. Let V be a set of vertices. An abstract simplicial complex is a set of finite sets of vertices, known as faces math sigma subseteq V math , such that math forall rho, sigma. rho subseteq sigma in Delta Rightarrow rho in Delta math Given a simplicial complex as above, we define a point set topology on by letting a subset math Gamma subseteq Delta math be closed if and only if is a simplicial complex math forall rho, sigma. rho subseteq sigma in Gamma Rightarrow rho in Gamma math This is the Alexandrov topology on the poset of faces of . The order complex associated with a poset, S, has the underlying set of S as vertices, and the finite chains i.e. finite totally ordered subsets of S as faces. The poset topology associated with a poset S is the Alexandrov topology on the order complex associated with S. See also Topological combinatorics External links http arxiv.org abs math 0602226 Poset Topology Tools and Applications Michelle L. Wachs, lecture notes IAS Park City Graduate Summer School in Geometric Combinatorics July 2004 Category Generaltopology Category Order theory topology stub ... more details
In topology , the cartesian product of topological space s can be given several different topologies. The canonical one is the product topology , because it fits rather nicely with the Category theory categorical notion of a product category theory product . Another possibility is the box topology . The box topology has a somewhat more obvious definition than the product topology, but it satisfies fewer desirable properties. In general, the box topology is finer topology finer than the product topology ... if all the f sub i sub are continuous. This does not always hold in the box topology, because it is in general ... many of the factors are trivial topology trivial . Definition Given X such that math X prod ... , index set indexed by math i in I math , the box topology on X is generated by B U sub i sub U ... like boxes or unions thereof. It is easily verified that B is actually a basis topology basis for the topology. Properties Box topology on R sup sup The box topology is completely regular The box topology is neither compact space compact nor Connection mathematics connected The box topology is not first countable Neither is the box topology separable space separable The box topology is paracompact ... Comparisons Topologies are often best understood by describing how sequences converge. In general ... of functions from S to X the product topology yields the topology of pointwise convergence ... topology, once again due to its great profusion of open sets, makes convergence very hard. One way to visualize the convergence in this topology is to think of functions from R to R &mdash a sequence of functions converges to a function f in the box topology if, when looking at the graph ... in the product topology as well here we only require all the functions to jump through any given finite set of hoops. This stems directly from the fact that, in the product topology, almost all ... of pointwise convergence. Comparison with product topology The basis sets in the product topology ... more details
In topology and related areas of mathematics , an induced topology on a topological space is a topology which is optimal for some Function mathematics function from to this topological space. Definition Let math X 0, X 1 math be sets, math f X 0 to X 1 math . If math tau 0 math is a topology on math X 0 math , then a topology induced on math X 1 math by math f math is math U 1 subseteq X 1 f 1 U 1 in tau 0 math . If math tau 1 math is a topology on math X 1 math , then a topology induced on math X 0 math by math f math is math f 1 U 1 U 1 in tau 1 math . The easy way to remember the definitions above is to notice that finding an inverse image is used in both. This is because inverse image preserves union set theory union and intersection set theory intersection . Finding a direct image does not preserve intersection in general. Here is an example where this becomes a hurdle. Consider a set math X 0 2, 1, 1, 2 math with a topology math 2, 1 , 1, 2 math , a set math X 1 1, 0, 1 math and a function math f X 0 to X 1 math such that math f 2 1, f 1 0, f 1 0, f 2 1 math . A set of subsets math tau 1 f U 0 U 0 in tau 0 math is not a topology, because math 1, 0 , 0, 1 subseteq tau 1 math but math 1, 0 cap 0, 1 notin tau 1 math . Properties A topology math tau 1 math induced on math X 1 math by math f math is the finest topology such that math f math is Continuity topology continuous math X 0, tau 0 to X 1, tau 1 math . A topology math tau 0 math induced on math X 0 math by math f math is the coarsest topology such that math f math is continuous math X 0, tau 0 to X 1, tau 1 math . Examples In particular, if math f math is an inclusion map , then math tau 0 math is a subspace topology . References cite book last1 Hu first1 Sze Tsen authorlink1 last2 first2 authorlink2 title Elements of generaltopology url edition series volume year 1969 publisher Holden Day location isbn id Category Topology Category Generaltopologytopology stub ... more details
In generaltopology and related areas of mathematics , the initial topology or weak topology or limit topology or projective topology on a Set mathematics set math X math , with respect to a family of functions on math X math , is the coarsest topology on X which makes those functions continuous function topology continuous . The subspace topology and product topology constructions are both special cases of initial topologies. Indeed, the initial topology construction can be viewed as a generalization of these. The duality mathematics dual construction is called the final topology . Definition ... Final topology References cite book last Willard first Stephen title GeneralTopology publisher Addison ... topology Category Generaltopology de Initialtopologie nl Initiale topologie pms Topolog a d ancamin ... math f i X to Y i math the initial topology &tau on math X math is the coarsest topology on X such that each math f i X, tau to Y i math is continuous function topology continuous . Explicitly, the initial topology may be described as the topology subbase generated by sets of the form math f i 1 ... topology. The subspace topology is the initial topology on the subspace with respect to the inclusion map . The product topology is the initial topology with respect to the family of projection ... inverse limit together with the initial topology determined by the canonical morphisms. The weak topology on a locally convex space is the initial topology with respect to the continuous linear form ... X the initial topology on X with respect to the functions id sub X sub X &rarr X , &tau sub i sub is the supremum ... topology &tau is the topology generated by the union set theory union of the topologies &tau sub i sub . A topological space is completely regular if and only if it has the initial topology ... space X has the initial topology with respect to the family of continuous functions from X to the Sierpi ski space . Properties Characteristic property The initial topology on X can be characterized ... more details
In mathematics, and especially generaltopology , the Euclidean topology is an example of a topology given to the set of real number s, denoted by R . To give the set R a topology means to say which subset s of R are open , and to do so in a way that the following axiom s are met ref name CEIT Citation first L. A. last Steen first2 J. A. last2 Seebach title Counterexamples in Topology publisher Dover year 1995 ISBN 048668735X ref The union mathematics union of open sets is an open set. The finite intersection mathematics intersection of open sets is an open set. The set R and the empty set are open sets. Construction The set R and the empty set are required to be open sets, and so we define R and to be open sets in this topology. Given two real numbers, say x and y , with nowrap 1 x y we define an uncountably infinite family of open sets denoted by S sub x , y sub as follows ref name CEIT math S x,y r in bold R x r y . math Along with the set R and the empty set , the sets S sub x , y sub with nowrap 1 x y are used as a basis topology basis for the Euclidean topology. In other words, the open sets of the Euclidean topology are given by the set R , the empty set and the unions and finite intersections of various sets S sub x , y sub for different pairs of x , y . Properties The real line, with this topology, is a T5 space T sub 5 sub space . Given two subsets, say A and B , of R with nowrap 1 font style text decoration overline A font B A font style text decoration overline B font , where font style text decoration overline A font denotes the closure topology closure of A , etc., there exist open sets S sub A sub and S sub B sub with nowrap 1 A S sub A sub and nowrap 1 B S sub B sub such that nowrap 1 S sub A sub S sub B sub . ref name CEIT References Reflist Category Topology es Topolog a euclideana nl Euclidische topologie ... more details
topology on X . In general, the box topology is finer topology finer than the product topology, but for finite products they coincide. Examples If one starts with the standard topology on the real line R and defines a topology on the product of n copies of R in this fashion, one obtains the ordinary ... Quotient space Subspace topology Notes reflist References Stephen Willard, GeneralTopology , 1970 ... 3100 title product topology Category Topology Category Generaltopology Category Binary operations ca ...In topology and related areas of mathematics , a product space is the cartesian product of a family of topological space s equipped with a natural topology called the product topology . This topology differs from another, perhaps more obvious, topology called the box topology , which can also be given to a product space and which agrees with the product topology when the product is over only finitely many spaces. However, the product topology is correct in that it makes the product space a product category theory categorical product of its factors, whereas the box topology is Comparison of topologies too fine this is the sense in which the product topology is natural . Definition Given X such that math ... p sub i sub X &rarr X sub i sub , the product topology on X is defined to be the coarsest topology i.e. the topology with the fewest open sets for which all the projections p sub i sub are continuous topology continuous . The product topology is sometimes called the Tychonoff topology . The open sets in the product topology are unions finite or infinite of sets of the form math prod U i ... many times. The product topology on X is the topology generated by sets of the form p sub i sub ... p sub i sub sup &minus 1 sup U form a subbase for the topology on X . A subset of X is open if and only ... a basis topology basis for the product topology using bases of the constituting spaces X sub i sub . A basis ... of base elements of the X sub i sub gives a basis for the product math prod X i math . In general ... more details
1991 isbn 0 07 054236 8 citation last Willard first Stephen title GeneralTopology year 2004 month February ... of function spaces Category Topology Category Generaltopology de Schwache Topologie fr Topologie ...dablink This article discusses the weak topology on a normed vector space. For the weak topology induced by a family of maps see initial topology . For the weak topology generated by a cover of a space see coherent topology . In mathematics , weak topology is an alternative term for initial topology . The term is most commonly used for the initial topology of a topological vector space such as a normed ... respectively, compact, etc. with respect to the weak topology. Likewise, functions are sometimes ... topology. The weak and strong topologies Let K be a topological field , namely a field mathematics field with a topological space topology such that addition, multiplication, and division are continuity topology continuous . In most applications K will be either the field of complex numbers or the field ..., X is a K vector space equipped with a topological space topology so that vector addition and scalar multiplication are continuous. We may define a possibly different topology on X using the continuous ... from X into the base field K which are continuous function topology continuous with respect to the given topology. The weak topology on X is the initial topology with respect to X sup sup . In other words, it is the comparison of topologies coarsest topology the topology with the fewest open ... topology from the original topology on X , the original topology is often called the strong topology . A subbase for the weak topology is the collection of sets of the form &phi sup 1 sup U where &phi ... in the weak topology if and only if it can be written as a union of possibly infinitely many sets ..., if F is a subset of the algebraic dual space , then the initial topology of X with respect to F , denoted by &sigma X , F , is the weak topology with respect to F . If one takes F to be the whole ... more details
In mathematics, more specifically generaltopology , the divisor topology is an example of a topology given to the set X of positive integer s that are greater than or equal to two, i.e., nowrap 1 X 2, 3, 4, 5, &hellip . The divisor topology is the poset topology for the partial order relation of divisibility on the positive integers. To give the set X a topology means to say which subset s of X are open , and to do so in a way that the following axiom s are met ref name CEIT Citation first L. A. last Steen first2 J. A. last2 Seebach title Counterexamples in Topology publisher Dover year 1995 ISBN 048668735X ref The union mathematics union of open sets is an open set. The finite intersection mathematics intersection of open sets is an open set. The set X and the empty set are open sets. Construction The set X and the empty set are required to be open sets, and so we define X and to be open sets in this topology. Denote by Z sup sup the set of positive integer s, i.e., the set of positive whole number greater than or equal to one. Read the notation x n as x divides n , and consider the sets math S n x in bold Z x n math Then the set S sub n sub is the set of divisor s of n . For different values of n , the sets S sub n sub are used as a basis topology basis for the divisor topology. ref name CEIT The open sets in this topology are the lower set s for the partial order defined by nowrap 1 x y if x &thinsp &thinsp y . Properties The set of prime number s is dense topology dense in X . In fact, every dense open set must include every prime, and therefore X is a Baire space . ref name CEIT X is a Kolmogorov space that is not T1 space T1 . In particular, it is Hausdorff space non ... is the set of all multiples of x . See also Zariski topology A topology on the integers whose open sets are the complements of prime ideal s. References Reflist DEFAULTSORT Divisor topology Category Generaltopology Category Topologies on the set of positive integers ... more details
div class references small Bourbaki, Nicolas, Elements of Mathematics GeneralTopology , Addison ... isbn 978 0 486 68735 3 id MathSciNet id 507446 year 1995 Willard, Stephen. GeneralTopology , Dover ... direct sum topology Category Topology Category Generaltopology ca Topologia tra a da Sportopologi ...In topology and related areas of mathematics , a subspace of a topological space X is a subset S of X which is equipped with a natural topology induced from that of X called the subspace topology or the relative topology , or the induced topology , or the trace topology . Definition Given a topological space math X, tau math and a subset math S math of math X math , the subspace topology on math S math ... is open in the subspace topology if and only if it is the intersection set theory intersection of math S math with an open set in math X, tau math . If math S math is equipped with the subspace topology ... . Subsets of topological spaces are usually assumed to be equipped with the subspace topology unless otherwise stated. Alternatively we can define the subspace topology for a subset math S math of math X math as the coarsest topology for which the inclusion map math iota S hookrightarrow X math is continuous topology continuous . More generally, suppose math i math is an Injective function injection from a set math S math to a topological space math X math . Then the subspace topology on math S math is defined as the coarsest topology for which math i math is continuous. The open sets in this topology ... S math is then homeomorphic to its image in math X math also with the subspace topology and math ... s with their usual topology. The subspace topology of the natural number s, as a subspace of R , is the discrete topology . The rational number s Q considered as a subspace of R do not have the discrete topology the point 0 for example is not an open set in Q . If a and b are rational, then the intervals ... of R . Properties The subspace topology has the following characteristic property. Let ... more details
Encyclopedia
top
