In topology and related branches of mathematics, a topological space X is a T0 space or Kolmogorov space (named after Andrey Kolmogorov) if for every pair of distinct points of X, at least one of them has a neighborhood not containing the other.[1] In a T0 space, all points are topologically distinguishable.
This condition, called the T0 condition, is the weakest of the separation axioms. Nearly all topological spaces normally studied in mathematics are T0 spaces. In particular, all T1 spaces, i.e., all spaces in which for every pair of distinct points, each has a neighborhood not containing the other, are T0 spaces. This includes all T2 (or Hausdorff) spaces, i.e., all topological spaces in which distinct points have disjoint neighbourhoods. In another direction, every sober space (which may not be T1) is T0; this includes the underlying topological space of any scheme. Given any topological space one can construct a T0 space by identifying topologically indistinguishable points.
T0 spaces that are not T1 spaces are exactly those spaces for which the specialization preorder is a nontrivial partial order. Such spaces naturally occur in computer science, specifically in denotational semantics.
A T0 space is a topological space in which every pair of distinct points is topologically distinguishable. That is, for any two different points x and y there is an open set that contains one of these points and not the other. More precisely the topological space X is Kolmogorov or T 0 {\displaystyle \mathbf {T} _{0}} if and only if:[1]
Note that topologically distinguishable points are automatically distinct. On the other hand, if the singleton sets {x} and {y} are separated then the points x and y must be topologically distinguishable. That is,
The property of being topologically distinguishable is, in general, stronger than being distinct but weaker than being separated. In a T0 space, the second arrow above also reverses; points are distinct if and only if they are distinguishable. This is how the T0 axiom fits in with the rest of the separation axioms.
Nearly all topological spaces normally studied in mathematics are T0. In particular, all Hausdorff (T2) spaces, T1 spaces and sober spaces are T0.
Commonly studied topological spaces are all T0. Indeed, when mathematicians in many fields, notably analysis, naturally run across non-T0 spaces, they usually replace them with T0 spaces, in a manner to be described below. To motivate the ideas involved, consider a well-known example. The space L2(R) is meant to be the space of all measurable functions f from the real line R to the complex plane C such that the Lebesgue integral of |f(x)|2 over the entire real line is finite. This space should become a normed vector space by defining the norm ||f|| to be the square root of that integral. The problem is that this is not really a norm, only a seminorm, because there are functions other than the zero function whose (semi)norms are zero. The standard solution is to define L2(R) to be a set of equivalence classes of functions instead of a set of functions directly. This constructs a quotient space of the original seminormed vector space, and this quotient is a normed vector space. It inherits several convenient properties from the seminormed space; see below.
In general, when dealing with a fixed topology T on a set X, it is helpful if that topology is T0. On the other hand, when X is fixed but T is allowed to vary within certain boundaries, to force T to be T0 may be inconvenient, since non-T0 topologies are often important special cases. Thus, it can be important to understand both T0 and non-T0 versions of the various conditions that can be placed on a topological space.
Topological indistinguishability of points is an equivalence relation. No matter what topological space X might be to begin with, the quotient space under this equivalence relation is always T0. This quotient space is called the Kolmogorov quotient of X, which we will denote KQ(X). Of course, if X was T0 to begin with, then KQ(X) and X are naturally homeomorphic. Categorically, Kolmogorov spaces are a reflective subcategory of topological spaces, and the Kolmogorov quotient is the reflector.
Topological spaces X and Y are Kolmogorov equivalent when their Kolmogorov quotients are homeomorphic. Many properties of topological spaces are preserved by this equivalence; that is, if X and Y are Kolmogorov equivalent, then X has such a property if and only if Y does. On the other hand, most of the other properties of topological spaces imply T0-ness; that is, if X has such a property, then X must be T0. Only a few properties, such as being an indiscrete space, are exceptions to this rule of thumb. Even better, many structures defined on topological spaces can be transferred between X and KQ(X). The result is that, if you have a non-T0 topological space with a certain structure or property, then you can usually form a T0 space with the same structures and properties by taking the Kolmogorov quotient.
The example of L2(R) displays these features. From the point of view of topology, the seminormed vector space that we started with has a lot of extra structure; for example, it is a vector space, and it has a seminorm, and these define a pseudometric and a uniform structure that are compatible with the topology. Also, there are several properties of these structures; for example, the seminorm satisfies the parallelogram identity and the uniform structure is complete. The space is not T0 since any two functions in L2(R) that are equal almost everywhere are indistinguishable with this topology. When we form the Kolmogorov quotient, the actual L2(R), these structures and properties are preserved. Thus, L2(R) is also a complete seminormed vector space satisfying the parallelogram identity. But we actually get a bit more, since the space is now T0. A seminorm is a norm if and only if the underlying topology is T0, so L2(R) is actually a complete normed vector space satisfying the parallelogram identity—otherwise known as a Hilbert space. And it is a Hilbert space that mathematicians (and physicists, in quantum mechanics) generally want to study. Note that the notation L2(R) usually denotes the Kolmogorov quotient, the set of equivalence classes of square integrable functions that differ on sets of measure zero, rather than simply the vector space of square integrable functions that the notation suggests.
Although norms were historically defined first, people came up with the definition of seminorm as well, which is a sort of non-T0 version of a norm. In general, it is possible to define non-T0 versions of both properties and structures of topological spaces. First, consider a property of topological spaces, such as being Hausdorff. One can then define another property of topological spaces by defining the space X to satisfy the property if and only if the Kolmogorov quotient KQ(X) is Hausdorff. This is a sensible, albeit less famous, property; in this case, such a space X is called preregular. (There even turns out to be a more direct definition of preregularity). Now consider a structure that can be placed on topological spaces, such as a metric. We can define a new structure on topological spaces by letting an example of the structure on X be simply a metric on KQ(X). This is a sensible structure on X; it is a pseudometric. (Again, there is a more direct definition of pseudometric.)
In this way, there is a natural way to remove T0-ness from the requirements for a property or structure. It is generally easier to study spaces that are T0, but it may also be easier to allow structures that aren't T0 to get a fuller picture. The T0 requirement can be added or removed arbitrarily using the concept of Kolmogorov quotient.
Consolato generale d'Italia a Toronto. Gli agenti consolari (detti anche semplicemente consoli) sono funzionari attraverso i quali lo Stato esercita attività del suo diritto interno sul territorio di uno Stato straniero per concessione di questo. Le relazioni consolari s'instaurano tra due stati a seguito di un trattato internazionale, detto convenzione consolare. Gli agenti consolari si differenziano nettamente dai diplomatici, ai quali nel linguaggio comune sono assimilati, in quanto compiono…
هذه المقالة بحاجة لصندوق معلومات. فضلًا ساعد في تحسين هذه المقالة بإضافة صندوق معلومات مخصص إليها. جزء من سلسلة مقالات حولتاريخ الولايات المتحدة التسلسل الزمني ما قبل التاريخ عصر قبل كولومبي حقبة الاستعمار (1776–1789) (1789–1849) (1849 – 1865) (1865–1918) (1918–1945) (1945-1964) (1964-1980) (1964-1980) تاريخ ال…
Тунбошань 28°04′52″ пн. ш. 118°14′21″ сх. д. / 28.08111° пн. ш. 118.23917° сх. д. / 28.08111; 118.23917Координати: 28°04′52″ пн. ш. 118°14′21″ сх. д. / 28.08111° пн. ш. 118.23917° сх. д. / 28.08111; 118.23917Країна КНРРозташування КитайВисота 1534.6 м Тунбоша…
Voce principale: Law & Order: Organized Crime. Questa voce o sezione tratta di un programma televisivo in corso. Le informazioni possono pertanto cambiare rapidamente con il progredire degli eventi. Se vuoi scrivere un articolo giornalistico sull'argomento, puoi farlo su Wikinotizie. Non aggiungere speculazioni alla voce. La terza stagione della serie televisiva Law & Order: Organized Crime, composta da 22 episodi, è stata trasmessa in prima visione negli Stati Uniti d'America da NBC da…
下津井電鉄株式会社SHIMOTSUI DENTETSU 種類 株式会社略称 シモデン、下電、下電バス本社所在地 日本〒700-0923岡山県岡山市北区大元駅前3番61号設立 1911年(明治44年)8月15日(下津井軽便鉄道株式会社)業種 陸運業法人番号 1260001003330 事業内容 乗合バス事業、貸切バス事業など代表者 代表取締役会長 永山 久人代表取締役社長 永山 久仁彦資本金 1億円売上高 60億円(2023年3月
South Korean actress, model and former beauty queen (born 1990) In this Korean name, the family name is Kim. For actress with the same name, see Kim Yoo-mi (actress). Kim Yu-miBorn (1990-04-26) April 26, 1990 (age 33)Seoul, South KoreaOther namesYumi KimEducationKonkuk UniversityOccupationsActressmodelbeauty pageant titleholderHeight1.75 m (5 ft 9 in)Beauty pageant titleholderTitleMiss Korea 2012[1]AgencyINN CompanyYears active2012–presentHair colorBlackEye col…
Mountain peak in Cape Town, South Africa This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Devil's Peak Cape Town – news · newspapers · books · scholar · JSTOR (July 2010) (Learn how and when to remove this template message) Devil's PeakDuiwelspiekDevil's Peak seen from Lion's Head. Hottentots Holland range …
Secretário do Comércio dos Estados Unidos United States Secretary of the Commerce Selo do Departamento do Comércio Secretário do Comércio dos Estados UnidosBandeira do Secretário do Comércio No cargoGina Raimondodesde 3 de março de 2021 Estilo Sr(a). Secretário(a) Nomeado por Presidente dos Estados Unidos Duração Indefinido Criado em 15 de março de 1913 Primeiro titular William C. Redfield Sucessão Decimo O gabinete do secretário de Comércio na século XX. O Secretário do Co…
Dieser Artikel befasst sich mit der Region. Für den Naturpark siehe Naturpark Südschwarzwald. Der gut 1000 Meter aus dem Münstertal aufsteigende Belchen im Südschwarzwald Blick vom Schauinsland (1284 m) auf St. Wilhelmer Tal und Feldberg (1493 m) Blick über das Obere Münstertal auf Belchen (1414 m, links) und Blauen (1165 m) Präger Kessel nahe Todtnau im oberen Wiesental Der Schluchsee im weniger steilen Ostteil des Südschwarzwaldes Als Südschwarzwald bezeichnet man …
2015 single by Rita Ora PoisonSingle by Rita OraReleased18 May 2015 (2015-05-18)Recorded2014–2015Genre EDM power pop Length3:22Label Roc Nation Columbia Songwriter(s) Kate Nash Nolan Lambroza Julia Michaels Producer(s)Sir NolanRita Ora singles chronology New York Raining (2015) Poison (2015) Body on Me (2015) Music videoPoison on YouTube Poison is a song by British singer Rita Ora. The song was released on 18 May 2015 and peaked at number three on the UK Singles Chart, makin…
Stony Brook Seawolves football2023 Stony Brook Seawolves football team First season1984Athletic directorShawn HeilbronHead coachAndrew Dresner (interim)StadiumKenneth P. LaValle Stadium(capacity: 12,300)Year built2002Field surfaceArtificial turfLocationStony Brook, New YorkNCAA divisionDivision I FCSConferenceCAA FootballPast conferencesNortheast (1999–2006)Independent (2007) Big South (2008–2012)All-time record202–211–2 (.489)Playoff appearances4Playoff record3–4Conferenc…
Video game played in virtual reality A player using the Oculus Rift virtual reality headset and associated controllers to control a game Video games Platforms Arcade video game Console game Game console Home console Handheld console Electronic game Audio game Electronic handheld Online game Browser game Social-network game Mobile game PC game Linux Mac Virtual reality game Genres Action Beat 'em up Hack and slash Fighting Platform Shooter Survival Battle royale Action-adventure Stealth Adventure…
Este artículo o sección tiene referencias, pero necesita más para complementar su verificabilidad.Este aviso fue puesto el 2 de enero de 2022. Ariel Tipo DetergenteMercados En todo el mundoDueño Procter & GamblePaís de origen BélgicaIntroducida 1967Sitio web http://www.ariel.co.uk/[editar datos en Wikidata] Ariel es una marca europea de detergente para ropa desarrollada por P&G European Technology Centre con sede en Bélgica, siendo uno de los primeros ejemplos de la marc…
South Korean rapper (2002) In this Korean name, the family name is Lee. Lee Young-jiLee in March 2022Background informationBorn (2002-09-10) September 10, 2002 (age 21)[1]Seoul, South KoreaGenresK-raphip-hopOccupation(s)RapperInstrument(s)VocalsYears active2019–presentLabelsMainstream[2]WebsiteOfficial websiteKorean nameHangul이영지Hanja李泳知Revised RomanizationI Yeong-jiMcCune–ReischauerI Yŏngchi Musical artist Lee Young-ji (Korean: 이영지; born Sept…
American college basketball season 2022–23 Mississippi State Bulldogs women's basketballNCAA Tournament, Round of 32ConferenceSoutheastern ConferenceRecord22–11 (9–7 SEC)Head coachSam Purcell (1st season)Assistant coaches Murriel Page Corry Irvin Gabe Lazo Home arenaHumphrey ColiseumSeasons← 2021–222023–24 → 2022–23 SEC women's basketball standings vte Conf Overall Team W L PCT W L PCT No. 1 South Carolina† 16 – 0 …
Climate classification Areas of polar climate according to the Köppen climate classification. Tundra climate (ET) Ice cap climate (EF) Solar radiation has a lower intensity in polar regions because the angle at which it hits the earth is not as direct as at the equator. Another effect is that sunlight has to go through more atmosphere to reach the ground.[1] The polar climate regions are characterized by a lack of warm summers but with varying winters. Every mont…
A dog with degenerative myelopathy often stands with its legs close together and may not correct an unusual foot position due to a lack of conscious proprioception Canine degenerative myelopathy, also known as chronic degenerative radiculomyelopathy, is an incurable, progressive disease of the canine spinal cord that is similar in many ways to amyotrophic lateral sclerosis (ALS). Onset is typically after the age of 7 years and it is seen most frequently in the German shepherd dog, Pembroke Welsh…
ニューヨーク市における最初の地下鉄路線の南側ターミナル駅であったシティ・ホール駅 ニューヨーク市地下鉄の廃止駅一覧(ニューヨークしちかてつのはいしえきいちらん)ではニューヨーク市地下鉄における廃止駅を以下に列挙する。ただし、廃線に含まれる駅については現存するもののみを記述する。廃線の解体済みの駅についてはこちらから各路線のページに飛…
Criminal LawyerPoster teatrikal untuk film tersebutSutradaraChristy CabanneEdward KillyJimmy Anderson (asisten)Produser Samuel J. Briskin Cliff Reid Ditulis olehGladys AtwaterThomas LennonSkenarioGladys AtwaterThomas LennonCeritaLouis StevensSinematograferDavid AbelPenyuntingJack HivelyPerusahaanproduksiRKO Radio PicturesTanggal rilis 26 Januari 1937 (1937-01-26) (Penayangan perdana New York City)[1] 29 Januari 1937 (1937-01-29) (AS)[1] Durasi72 menitNegara Amer…
IV століття: 341—350 роки 320-ті · 330-ті — 340-ві — 350-ті · 360-ті 340 · 341 · 342 · 343 · 344 · 345 · 346 · 347 · 348 · 349 Правління синів Костянтина Великого у Римській імперії. Імперія розділена на Східну Римську імперію, де править Констанцій II, і Західну Римську імперію, де править Констант. У Китаї …
Lokasi Pengunjung: 3.147.80.157