|
|
| Line 1: |
Line 1: |
| In [[mathematics]], an '''order topology''' is a certain [[topology]] that can be defined on any [[totally ordered set]]. It is a natural generalization of the topology of the [[real numbers]] to arbitrary totally ordered sets. <!-- why this restriction to totally ordered sets? Partial order relations generate nice non-Hausdorff counter-examples //-->
| | Every year millions and millions of people purchase seeds coming from all different sources, whether it's neighborhood garden shops, the internet or the main box shops. There intent is to plant at this time there own vegetable lawn and hopefully employ a terrific yield associated with veggies. With only a little bit of knowledge plus additional work, you can assist save seeds within the present years plantings plus rehearse them for the coming year. This really is a great idea to carry out because not merely may we not have to spend income on seeds for another year, however you are aware they are a wise line of seeds considering they increased the past year. You can know what to prepare for inside yield, shape plus standard of the garden fresh veggies.<br><br>It takes a great deal of effort for you to get rid of fat by diet plus exercise. if it's dragging you down, you can try utilizing supplements like pure [http://greencoffeeweightlossplan.com green coffee bean extract]. It assists burn fat at a faster rate. you moreover lose fat quicker.<br><br>It virtually sounds too good to be true, however people who follow the Dr. Oz diet utilizing these supplements get amazing results. They can supply an enormous boost to weight reduction efforts when taken frequently. One study found that participants lost on average seventeen pounds over twenty-two weeks, merely from taking these supplements.<br><br>There are some liquid just methods. The initial is a simple method yet not an effortless one. This colon clean fat reduction program uses water fasting for cleansing the body. That signifies water only, no food at all throughout the quick. Some persons go on this quick for fourteen days or more. I have not been surprisingly successful with this way.<br><br>They enable suppress appetite, block fat storage, or boost the metabolism a little. In most cases, by themselves they might just assist you lose a limited pounds... inside the best case. They work best whenever combined with exercise and proper nutrition... that ought to be the basis for any successful plus permanent fat loss system.<br><br>The extract, prepared with chlorogenic acid, is converted into a capsule form before being sold to consumers. However it doesn't come cheap. A month's supply can cost about fifty bucks.<br><br>Whenever coffee beans are roasted, most of the chlorogenicacid is lost. Green Coffee Beans, inside comparison, are un-roasted, have little aroma, are bitter, and contain over 50% Chlorogenic Acid.<br><br>As we can see, green coffee beans are a wonderful method to lose weight, help regulate the blood sugar degrees plus cleanse a blood against free radicals. Adding a regular supplement is an convenient method to receive these added advantages from chlorogenic acid and the other vitamins found in this amazing health supplement. |
| | |
| If ''X'' is a totally ordered set, the '''order topology''' on ''X'' is generated by the [[subbase]] of "open rays"
| |
| :<math>(a, \infty) = \{ x \mid a < x\}</math>
| |
| :<math>(-\infty, b) = \{x \mid x < b\}</math>
| |
| for all ''a,b'' in ''X''. This is equivalent to saying that the open [[interval (mathematics)|interval]]s
| |
| :<math>(a,b) = \{x \mid a < x < b\}</math>
| |
| together with the above rays form a [[base (topology)|base]] for the order topology. The open sets in ''X'' are the sets that are a [[union (set theory)|union]] of (possibly infinitely many) such open intervals and rays.
| |
| | |
| The order topology makes ''X'' into a [[completely normal space|completely normal]] [[Hausdorff space]].
| |
| | |
| The standard topologies on '''R''', '''Q''', and '''N''' are the order topologies.
| |
| | |
| == Induced order topology ==
| |
| If ''Y'' is a subset of ''X'', then ''Y'' inherits a total order from ''X''. ''Y'' therefore has an order topology, the '''induced order topology'''. As a subset of ''X'', ''Y'' also has a [[subspace topology]]. The subspace topology is always at least as [[finer topology|fine]] as the induced order topology, but they are not in general the same.
| |
| | |
| For example, consider the subset ''Y'' = {–1} ∪ {1/''n''}<sub>''n''∈'''N'''</sub> in the [[rational numbers|rationals]]. Under the subspace topology, the singleton set {–1} is open in ''Y'', but under the induced order topology, any open set containing –1 must contain all but finitely many members of the space.
| |
| | |
| == An example of a subspace of a linearly ordered space whose topology is not an order topology ==
| |
| Though the subspace topology of ''Y'' = {–1} ∪ {1/''n''}<sub>''n''∈'''N'''</sub> in the section above is shown to be not generated by the induced order on ''Y'', it is nonetheless an order topology on ''Y''; indeed, in the subspace topology every point is isolated (i.e., singleton {y} is open in ''Y'' for every y in ''Y''), so the subspace topology is the discrete topology on ''Y'' (the topology in which every subset of ''Y'' is an open set), and the discrete topology on any set is an order topology. To define a total order on ''Y'' that generates the discrete topology on ''Y'', simply modify the induced order on ''Y'' by defining -1 to be the greatest element of ''Y'' and otherwise keeping the same order for the other points, so that in this new order (call it say ''<''<sub>''1''</sub>) we have 1/''n'' ''<''<sub>''1''</sub> –1 for all ''n''∈'''N'''. Then, in the order topology on ''Y'' generated by ''<''<sub>''1''</sub>, every point of ''Y'' is isolated in ''Y''.
| |
| | |
| We wish to define here a subset ''Z'' of a linearly ordered topological space ''X'' such that no total order on ''Z'' generates the subspace topology on ''Z'', so that the subspace topology will not be an order topology even though it is the subspace topology of a space whose topology is an order topology.
| |
| | |
| Let <math>Z =\{-1\}\cup\{x\in R: 0 < x < 1\} = \{-1\}\cup (0,1) </math> in the real line. The same argument as before shows that the subspace topology on Z is not equal to the induced order topology on Z, but one can show that the subspace topology on Z cannot be equal to any order topology on Z.
| |
| | |
| An argument follows. Suppose by way of contradiction that there is some [[Totally ordered set#Strict total order|strict total order]] < = ''<''<sub>''1''</sub> on Z such that the order topology generated by < is equal to the subspace topology on Z (note that we are not assuming that < is the induced order on Z, but rather an arbitrarily given total order on Z that generates the subspace topology). In the following, interval notation should be interpreted relative to the < relation. Also, if A and B are sets, A<B shall mean that a<b for each a in A and b in B.
| |
| | |
| Let M=Z\{-1}, the unit interval. M is connected. If m,n∈M and m<-1<n, then {k∈M:k<-1} and {k∈M:-1<k} separate M, a contradiction. Thus, M<{-1} or {-1}<M. Assume without loss of generality that {-1}<M. Since {-1} is open in Z, there is some point p in M such that the interval (-1,p) is empty. Since {-1}<M, -1 is the only element of Z that is less than p, so p is the minimum of M. Then M\{p} = A ∪ B, where A and B are open and disjoint connected subsets of M (removing a point from an open interval yields two open intervals). By connectedness, no point of Z\B can lie between two points of B, and no point of Z\A can lie between two points of A. Therefore, either A < B or B < A. Assume without loss of generality that A < B. If a is any point in A, then p < a and (p,a)<math>\subseteq</math> A. Then (-1,a)=[p,a), so [p,a) is open. {p}∪A=[p,a)∪A, so {p}∪A is an open subset of M and hence M = ({p}∪A) ∪ B is the union of two disjoint open subsets of M so M is not connected, a contradiction.
| |
| | |
| A space whose topology is an order topology is called a Linearly Ordered Topological Space (LOTS), and a subspace of a linearly ordered topological space is called a Generalized Ordered Space (GO-space). Thus the example Z above is an example of a GO-space that is not a linearly ordered topological space.
| |
| | |
| ==Left and right order topologies==
| |
| Several variants of the order topology can be given:
| |
| | |
| * The '''right order topology''' on ''X'' is the topology whose open sets consist of intervals of the form (''a'', ∞).<ref>Steen, [http://books.google.com/books?id=DkEuGkOtSrUC&printsec=frontcover&source=gbs_v2_summary_r&cad=0#v=onepage&q=&f=false p. 74].</ref>
| |
| * The '''left order topology''' on ''X'' is the topology whose open sets consist of intervals of the form (−∞, ''b'').
| |
| | |
| The left and right order topologies can be used to give counterexamples in general topology. For example, the left or right order topology on a bounded set provides an example of a [[compact space]] that is not Hausdorff.
| |
| | |
| The left order topology is the standard topology used for many set-theoretic purposes on a [[Boolean algebra (structure)|Boolean algebra]].
| |
| | |
| ==Ordinal space==
| |
| | |
| For any [[ordinal number]] λ one can consider the spaces of ordinal numbers
| |
| :<math>[0,\lambda) = \{\alpha \mid \alpha < \lambda\}\,</math>
| |
| :<math>[0,\lambda] = \{\alpha \mid \alpha \le \lambda\}\,</math>
| |
| together with the natural order topology. These spaces are called '''ordinal spaces'''. (Note that in the usual set-theoretic construction of ordinal numbers we have λ = [0,λ) and λ + 1 = [0,λ]). Obviously, these spaces are mostly of interest when λ is an infinite ordinal; otherwise (for finite ordinals), the order topology is simply the [[discrete topology]].
| |
| | |
| When λ = ω (the first infinite ordinal), the space [0,ω) is just '''N''' with the usual (still discrete) topology, while [0,ω] is the [[one-point compactification]] of '''N'''.
| |
| | |
| Of particular interest is the case when λ = ω<sub>1</sub>, the set of all countable ordinals, and the [[first uncountable ordinal]]. The element ω<sub>1</sub> is a [[limit point]] of the subset [0,ω<sub>1</sub>) even though no sequence of elements in [0,ω<sub>1</sub>) has the element ω<sub>1</sub> as its limit. In particular, [0,ω<sub>1</sub>] is not [[First-countable space|first-countable]]. The subspace [0,ω<sub>1</sub>) is first-countable however, since the only point without a countable [[local base]] is ω<sub>1</sub>. Some further properties include
| |
| *neither [0,ω<sub>1</sub>) or [0,ω<sub>1</sub>] is [[separable space|separable]] or [[second-countable]]
| |
| *[0,ω<sub>1</sub>] is [[compact space|compact]] while [0,ω<sub>1</sub>) is [[Sequentially compact space|sequentially compact]] and [[Countably compact space|countably compact]], but not compact or [[paracompact]]
| |
| | |
| == Topology and ordinals ==<!-- This section is linked from [[Ordinal number]] -->
| |
| === Ordinals as topological spaces ===
| |
| Any [[ordinal number]] can be made into a [[topological space]] by endowing it with the order topology (since, being well-ordered, an ordinal is in particular [[total order|totally ordered]]): in the absence of indication to the contrary, it is always that order topology which is meant when an ordinal is thought of as a topological space. (Note that if we are willing to accept a proper class as a topological space, then the class of all ordinals is also a topological space for the order topology.)
| |
| | |
| The set of [[limit point]]s of an ordinal α is precisely the set of [[limit ordinal]]s less than α. Successor ordinals (and zero) less than α are [[isolated point]]s in α. In particular, the finite ordinals and ω are [[discrete space|discrete]] topological spaces, and no ordinal beyond that is discrete. The ordinal α is [[compact space|compact]] as a topological space if and only if α is a [[successor ordinal]].
| |
|
| |
| The closed sets of a limit ordinal α are just the closed sets in the sense that we have [[#Closed unbounded sets and classes|already defined]], namely, those which contain a limit ordinal whenever they contain all sufficiently large ordinals below it.
| |
| | |
| Any ordinal is, of course, an open subset of any further ordinal. We can also define the topology on the ordinals in the following inductive way: 0 is the empty topological space, α+1 is obtained by taking the [[Compactification (mathematics)|one-point compactification]] of α (if α is a limit ordinal; if it is not, α+1 is merely the disjoint union of α and a point), and for δ a limit ordinal, δ is equipped with the [[direct limit|inductive limit]] topology.
| |
| | |
| As topological spaces, all the ordinals are [[Hausdorff space|Hausdorff]] and even [[normal space|normal]]. They are also [[totally disconnected space|totally disconnected]] (connected components are points), [[scattered space|scattered]] (every non-empty set has an isolated point; in this case, just take the smallest element), [[zero-dimensional space|zero-dimensional]] (the topology has a clopen basis: here, write an open interval (β,γ) as the union of the clopen intervals (β,γ'+1)=<nowiki>[</nowiki>β+1,γ'<nowiki>]</nowiki> for γ'<γ). However, they are not [[extremally disconnected space|extremally disconnected]] in general (there are open sets, for example the even numbers from ω, whose closure is not open).
| |
| | |
| The topological spaces ω<sub>1</sub> and its successor ω<sub>1</sub>+1 are frequently used as text-book examples of non-countable topological spaces. | |
| For example, in the topological space ω<sub>1</sub>+1, the element ω<sub>1</sub> is in the closure of the subset ω<sub>1</sub> even though no sequence of elements in ω<sub>1</sub> has the element ω<sub>1</sub> as its limit: an element in ω<sub>1</sub> is a countable set; for any sequence of such sets, the union of these sets is the union of countably many countable sets, so still countable; this union is an upper bound of the elements of the sequence, and therefore of the limit of the sequence, if it has one.
| |
| | |
| The space ω<sub>1</sub> is [[first-countable space|first-countable]], but not [[second-countable space|second-countable]], and ω<sub>1</sub>+1 has neither of these two properties, despite being [[compact space|compact]]. It is also worthy of note that any continuous function from ω<sub>1</sub> to '''R''' (the [[real line]]) is eventually constant: so the [[Compactification (mathematics)|Stone-Čech compactification]] of ω<sub>1</sub> is ω<sub>1</sub>+1, just as its one-point compactification (in sharp contrast to ω, whose Stone-Čech compactification is much ''larger'' than ω).
| |
| | |
| === Ordinal-indexed sequences ===
| |
| If α is a limit ordinal and ''X'' is a set, an α-indexed sequence of elements of ''X'' merely means a function from α to ''X''. This concept, a '''transfinite sequence''' or '''ordinal-indexed sequence''', is a generalization of the concept of a [[sequence]]. An ordinary sequence corresponds to the case α = ω.
| |
| | |
| If ''X'' is a topological space, we say that an α-indexed sequence of elements of ''X'' ''converges'' to a limit ''x'' when it converges as a [[net (mathematics)|net]], in other words, when given any neighborhood ''U'' of ''x'' there is an ordinal β<α such that ''x''<sub>ι</sub> is in ''U'' for all ι≥β.
| |
| | |
| Ordinal-indexed sequences are more powerful than ordinary (ω-indexed) sequences to determine limits in topology: for example, ω<sub>1</sub> ([[Ordinal number#Initial ordinal of a cardinal|omega-one]], the set of all countable ordinal numbers, and the smallest uncountable ordinal number), is a limit point of ω<sub>1</sub>+1 (because it is a limit ordinal), and, indeed, it is the limit of the ω<sub>1</sub>-indexed sequence which maps any ordinal less than ω<sub>1</sub> to itself: however, it is not the limit of any ordinary (ω-indexed) sequence in ω<sub>1</sub>, since any such limit is less than or equal to the union of its elements, which is a countable union of countable sets, hence itself countable.
| |
| | |
| However, ordinal-indexed sequences are not powerful enough to replace nets (or [[filter (mathematics)|filters]]) in general: for example, on the [[Tychonoff plank]] (the product space <math>(\omega_1+1)\times(\omega+1)</math>), the corner point <math>(\omega_1,\omega)</math> is a limit point (it is in the closure) of the open subset <math>\omega_1\times\omega</math>, but it is not the limit of an ordinal-indexed sequence.
| |
| | |
| ==See also==
| |
| *[[lower limit topology]]
| |
| *[[long line (topology)]]
| |
| *[[Linear continuum]]
| |
| *[[Partially ordered space]]
| |
| | |
| ==Notes==
| |
| <references/>
| |
| | |
| == References ==
| |
| * [[Lynn Arthur Steen|Steen, Lynn A.]] and [[J. Arthur Seebach, Jr.|Seebach, J. Arthur Jr.]]; ''[[Counterexamples in Topology]]'', Holt, Rinehart and Winston (1970). ISBN 0-03-079485-4.
| |
| * Stephen Willard, ''General Topology'', (1970) Addison-Wesley Publishing Company, Reading Massachusetts.
| |
| * {{PlanetMath attribution|id=1411|title=Order topology}}
| |
| | |
| [[Category:Order theory]]
| |
| [[Category:General topology]]
| |
| [[Category:Ordinal numbers]]
| |
Every year millions and millions of people purchase seeds coming from all different sources, whether it's neighborhood garden shops, the internet or the main box shops. There intent is to plant at this time there own vegetable lawn and hopefully employ a terrific yield associated with veggies. With only a little bit of knowledge plus additional work, you can assist save seeds within the present years plantings plus rehearse them for the coming year. This really is a great idea to carry out because not merely may we not have to spend income on seeds for another year, however you are aware they are a wise line of seeds considering they increased the past year. You can know what to prepare for inside yield, shape plus standard of the garden fresh veggies.
It takes a great deal of effort for you to get rid of fat by diet plus exercise. if it's dragging you down, you can try utilizing supplements like pure green coffee bean extract. It assists burn fat at a faster rate. you moreover lose fat quicker.
It virtually sounds too good to be true, however people who follow the Dr. Oz diet utilizing these supplements get amazing results. They can supply an enormous boost to weight reduction efforts when taken frequently. One study found that participants lost on average seventeen pounds over twenty-two weeks, merely from taking these supplements.
There are some liquid just methods. The initial is a simple method yet not an effortless one. This colon clean fat reduction program uses water fasting for cleansing the body. That signifies water only, no food at all throughout the quick. Some persons go on this quick for fourteen days or more. I have not been surprisingly successful with this way.
They enable suppress appetite, block fat storage, or boost the metabolism a little. In most cases, by themselves they might just assist you lose a limited pounds... inside the best case. They work best whenever combined with exercise and proper nutrition... that ought to be the basis for any successful plus permanent fat loss system.
The extract, prepared with chlorogenic acid, is converted into a capsule form before being sold to consumers. However it doesn't come cheap. A month's supply can cost about fifty bucks.
Whenever coffee beans are roasted, most of the chlorogenicacid is lost. Green Coffee Beans, inside comparison, are un-roasted, have little aroma, are bitter, and contain over 50% Chlorogenic Acid.
As we can see, green coffee beans are a wonderful method to lose weight, help regulate the blood sugar degrees plus cleanse a blood against free radicals. Adding a regular supplement is an convenient method to receive these added advantages from chlorogenic acid and the other vitamins found in this amazing health supplement.