|
|
| Line 1: |
Line 1: |
| In [[mathematics]], a '''Lindelöf space''' is a [[topological space]] in which every [[open cover]] has a [[countable set|countable]] subcover. The Lindelöf property is a weakening of the more commonly used notion of ''[[compact space|compactness]]'', which requires the existence of a ''finite'' subcover.
| | Last week I woke up and realized - Now I have also been solitary for a while and after much bullying from friends I today find myself registered for internet dating. They promised me that there are a lot of pleasant, normal and interesting visitors to meet up, so the pitch is gone by here!<br>My household and pals are amazing and hanging out with them at pub gigs or meals is luke bryan my Kind ([http://www.netpaw.org http://www.netpaw.org]) obviously critical. As I locate that you could do not have a nice dialog against the sound I haven't ever been in to dance clubs. I additionally got 2 very adorable and undoubtedly cheeky canines that are almost always ready to meet up new [http://Www.individuals.com/ individuals].<br>I make an [http://lukebryantickets.sgs-suparco.org luke bryan tickets indianapolis] effort to stay as physically healthy as potential staying at the fitness center many times weekly. I enjoy my sports and endeavor to play or view since many a [http://search.Huffingtonpost.com/search?q=potential&s_it=header_form_v1 potential]. I am going to often at Hawthorn fits being wintertime. Notice: I have seen the carnage of fumbling fits at stocktake revenue, In case that you really considered shopping an activity I really don't brain.<br><br>Here is my web page; [http://www.ffpjp24.org luke bryan tour] |
| | |
| A '''strongly Lindelöf''' space is a topological space such that every open subspace is Lindelöf. Such spaces are also known as '''hereditarily Lindelöf''' spaces, because all [[Subspace topology|subspaces]] of such a space are Lindelöf.
| |
| | |
| Lindelöf spaces are named for the [[Finland|Finnish]] [[mathematician]] [[Ernst Leonard Lindelöf]].
| |
| | |
| == Properties of Lindelöf spaces ==
| |
| | |
| In general, no implications hold (in either direction) between the Lindelöf property and other compactness properties, such as [[paracompact space|paracompactness]]. But by the Morita theorem, every [[regular space|regular]] Lindelöf space is paracompact.
| |
| | |
| Any [[second-countable space]] is a Lindelöf space, but not conversely. However, the matter is simpler for [[metric space]]s. A metric space is Lindelöf if and only if it is [[separable space|separable]], and if and only if it is [[second-countable space|second-countable]].
| |
| | |
| An [[open subspace]] of a Lindelöf space is not necessarily Lindelöf. However, a closed subspace must be Lindelöf.
| |
| | |
| Lindelöf is preserved by [[continuous function (topology)|continuous maps]]. However, it is not necessarily preserved by products, not even by finite products.
| |
| | |
| A Lindelöf space is compact if and only if it is [[countably compact]].
| |
| | |
| Any [[σ-compact space]] is Lindelöf.
| |
| | |
| == Properties of strongly Lindelöf spaces ==
| |
| * Any [[second-countable space]] is a strongly Lindelöf space
| |
| * Any [[Suslin space]] is strongly Lindelöf.
| |
| * Strongly Lindelöf spaces are closed under taking countable unions, subspaces, and continuous images.
| |
| * Every [[Radon measure]] on a strongly Lindelöf space is moderated.
| |
| | |
| == Product of Lindelöf spaces ==
| |
| | |
| The [[product space|product]] of Lindelöf spaces is not necessarily Lindelöf. The usual example of this is the [[Sorgenfrey plane]] <math>\mathbb{S}</math>, which is the product of the [[real line]] <math>\mathbb{R}</math> under the [[half-open interval topology]] with itself. [[Open set]]s in the Sorgenfrey plane are unions of half-open rectangles that include the south and west edges and omit the north and east edges, including the northwest, northeast, and southeast corners. The '''antidiagonal''' of <math>\mathbb{S}</math> is the set of points <math>(x,y)</math> such that <math>x+y=0</math>.
| |
| | |
| Consider the [[open covering]] of <math>\mathbb{S}</math> which consists of:
| |
| | |
| # The set of all rectangles <math>(-\infty,x)\times(-\infty,y)</math>, where <math>(x,y)</math> is on the antidiagonal.
| |
| # The set of all rectangles <math>[x,+\infty)\times[y,+\infty)</math>, where <math>(x,y)</math> is on the antidiagonal.
| |
| | |
| The thing to notice here is that each point on the antidiagonal is contained in exactly one set of the covering, so all these sets are needed.
| |
| | |
| Another way to see that <math>S</math> is not Lindelöf is to note that the antidiagonal defines a closed and [[uncountable]] [[discrete space|discrete]] subspace of <math>S</math>. This subspace is not Lindelöf, and so the whole space cannot be Lindelöf as well (as closed subspaces of Lindelöf spaces are also Lindelöf).
| |
| | |
| The product of a Lindelöf space and a compact space is Lindelöf.
| |
| | |
| == Generalisation ==
| |
| | |
| The following definition generalises the definitions of compact and Lindelöf: a topological space is <math>\kappa</math>''-compact'' (or <math>\kappa</math>''-Lindelöf''), where <math>\kappa</math> is any [[cardinal number|cardinal]], if every open [[cover (topology)|cover]] has a subcover of cardinality ''strictly'' less than <math>\kappa</math>. Compact is then <math>\aleph_0</math>-compact and Lindelöf is then <math>\aleph_1</math>-compact.
| |
| | |
| The ''Lindelöf degree'', or ''Lindelöf number'' <math>l(X)</math>, is the smallest cardinal <math>\kappa</math> such that every open cover of the space <math>X</math> has a subcover of size at most <math>\kappa</math>. In this notation, <math>X</math> is Lindelöf if <math>l(X) = \aleph_0</math>. The Lindelöf number as defined above does not distinguish between compact spaces and Lindelöf non compact spaces. Some authors gave the name ''Lindelöf number'' to a different notion: the smallest cardinal <math>\kappa</math> such that every open cover of the space <math>X</math> has a subcover of size strictly less than <math>\kappa</math>.<ref>Mary Ellen Rudin, Lectures on set theoretic topology, Conference Board of the Mathematical Sciences, American Mathematical Society, 1975, p. 4, retrievable on Google Books [http://books.google.it/books?id=_LiqC3Y3kmsC&pg=PA4&dq=%22between+compact+and+lindel%C3%B6f%22&hl=it&ei=3SZtTdTGCYu28QP68aGYBQ&sa=X&oi=book_result&ct=book-thumbnail&resnum=1&ved=0CCwQ6wEwAA#v=onepage&q&f=false]</ref> In this latter (and less used sense) the Lindelöf number is the smallest cardinal <math>\kappa</math> such that a topological space <math>X</math> is <math>\kappa</math>-compact. This notion is sometimes also called the ''compactness degree''{{Citation needed|date=February 2011}} of the space <math>X</math>.
| |
| | |
| == See also ==
| |
| | |
| * [[Axioms of countability]]
| |
| * [[Lindelöf's lemma]]
| |
| | |
| ==Notes==
| |
| {{reflist}}
| |
| | |
| == References ==
| |
| {{refbegin}}
| |
| * Michael Gemignani, ''Elementary Topology'' (ISBN 0-486-66522-4) (see especially section 7.2)
| |
| * {{Cite book | last1=Steen | first1=Lynn Arthur | author1-link=Lynn Arthur Steen | last2=Seebach | first2=J. Arthur Jr. | author2-link=J. Arthur Seebach, Jr. | title=[[Counterexamples in Topology]] | origyear=1978 | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=[[Dover Publications|Dover]] reprint of 1978 | isbn=978-0-486-68735-3 | mr=507446 | year=1995 | postscript=<!--None-->}}
| |
| * {{cite book | author=I. Juhász | title=Cardinal functions in topology - ten years later | publisher=Math. Centre Tracts, Amsterdam | year=1980 | isbn=90-6196-196-3}}
| |
| * {{cite book | last=Munkres | first=James | author-link=James Munkres | title=Topology, 2nd ed.}}
| |
| {{refend}}
| |
| | |
| {{DEFAULTSORT:Lindelof space}}
| |
| [[Category:Compactness (mathematics)]]
| |
| [[Category:General topology]]
| |
| [[Category:Properties of topological spaces]]
| |
| [[Category:Topology]]
| |
Last week I woke up and realized - Now I have also been solitary for a while and after much bullying from friends I today find myself registered for internet dating. They promised me that there are a lot of pleasant, normal and interesting visitors to meet up, so the pitch is gone by here!
My household and pals are amazing and hanging out with them at pub gigs or meals is luke bryan my Kind (http://www.netpaw.org) obviously critical. As I locate that you could do not have a nice dialog against the sound I haven't ever been in to dance clubs. I additionally got 2 very adorable and undoubtedly cheeky canines that are almost always ready to meet up new individuals.
I make an luke bryan tickets indianapolis effort to stay as physically healthy as potential staying at the fitness center many times weekly. I enjoy my sports and endeavor to play or view since many a potential. I am going to often at Hawthorn fits being wintertime. Notice: I have seen the carnage of fumbling fits at stocktake revenue, In case that you really considered shopping an activity I really don't brain.
Here is my web page; luke bryan tour