Transfinite induction: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
Newer edit →
No edit summary
 
en>Blaisorblade
→Transfinite recursion: Mark as {{technical}}
Line 1: Line 1:
This might be one of the strategies that are greater in case you are not open together with your family to go. Depending the situations you may not even have to pay for the mortgage back on.<br><br>The thing to consider is although they could be advantageous to the money soon, get by for months or another day or two and they just need a little bit of cash now to pay for the costs. That is the reason why payday lenders ([http://www.bestpampers.com/activity/p/37304/ www.bestpampers.com]) exist within the first place; to help people obtain on making use of their lifestyles and link the difference.<br><br>Everyone could make an application with no stress for credit loans that are poor. But first you'll must understand the many aspects of its particular requirements and this mortgage. There are numerous methods whereby it is probable to enjoy lower-rate of interest through this loan. A security promotes the chance of quick approval and always does some question while obtaining any kind of mortgage. Regardless of how worse your score is, in case you have the ability to promise an invaluable resource like some other residential home, home or car, you will positively get the privilege of interest-rates that are worthwhile. Therefore, if it's feasible then choose the secured selection. For aid unprotected alternative can there be for tenants or non property owners.<br><br>Your own loan is extremely just like some other loan that is traditional. You will be required to submit information relating to your income, when you utilize as well as the bank will evaluate your credit history to ascertain your eligibility. If you are authorized to get an unsecured loan, you will be given payment and a pursuit charge relative to the settle contract. Typically, an individual loan was created to be repaid within several years and in order to be accepted to get an unsecured loan, the lending company may establish how much you'll be able to afford depending on debts and your present revenue.<br><br>Speedy loans are a great way get the things that you would like and to handle your instalments, or reach the amount of money you urgently require. Though this option is great and there's little paperwork, picking any cash advance choice is somewhat hazardous, and paydayloans that are rapid are gone especially for by this. If you choose a quick pay day loan, you're bound to pay back when your following paycheck is available in, so just utilize such loans when you have a constant salary, and never review your face.<br><br>Provides you with reassurance. Struggling to cover a 14 back - added nervousness can be created by loan in an already financial situation that is tense. In life, there are no guarantees and something sometimes happens. Therefore even although you assume you'll have the ability to pay back the loan along with your next salary, that way might not be worked out by it. What if another crisis arises? What if your deposit that is direct doesn't proceed through over time? of missing this transaction the result requires costs and rates of interest that only enhance your financial problems, perpetuating the harsh debt pattern. The only way from happening to avoid this is by covering yourself through installment loans with smaller installments. The longer payment phrase creates a cushion that eventually provides peaceofmind.<br><br>The reimbursement time amounts from 14 to 31 times and is not long. This period can be prolonged however with the consent of the lender. An e-mail prior to the loan is born for cost reminder is sent to the debtor. The individuals are given an option to select their transaction alternative right before the date that was due. From their reports the amount is debited for the consumers sake and ease.
{{Separation axiom}}
In [[topology]] and related branches of [[mathematics]], '''Tychonoff spaces''' and '''completely regular spaces''' are kinds of [[topological space]]s.
These conditions are examples of [[separation axiom]]s.
 
Tychonoff spaces are named after [[Andrey Nikolayevich Tychonoff]], whose [[Russian language|Russian]] name (Тихонов) is variously rendered as "Tychonov", "Tikhonov", "Tihonov", "Tichonov" etc.
 
== Definitions ==
 
Suppose that ''X'' is a topological space.
 
''X'' is a ''completely regular space'' if given any [[closed set]] ''F'' and any [[Point (geometry)|point]] ''x'' that does not belong to ''F'', then [[existential quantification|there is]] a [[continuous function (topology)|continuous function]] ''f'' from ''X'' to the [[real line]] '''R''' such that ''f''(''x'') is {{num|0}} and, [[universal quantification|for every]] ''y'' in ''F'', ''f''(''y'') is {{num|1}}.
In other terms, this condition says that ''x'' and ''F'' can be [[separated sets|separated by a continuous function]].
 
''X'' is a ''Tychonoff space'', or ''T<sub>3½</sub> space'', or ''T<sub>π</sub> space'', or ''completely T<sub>3</sub> space'' if it is both completely regular and [[Hausdorff space|Hausdorff]].
 
Note that some mathematical literature uses different definitions for the term "completely regular" and the terms involving "T".
The definitions that we have given here are the ones usually used today; however, some authors switch the meanings of the two kinds of terms, or use all terms synonymously for only one condition.
In Wikipedia, we will use the terms "completely regular" and "Tychonoff" freely, but we'll avoid the less clear "T" terms.
In other literature, you should take care to find out which definitions the author is using.
(The phrase "completely regular Hausdorff", however, is unambiguous, and always means a Tychonoff space.)
For more on this issue, see [[History of the separation axioms]].
 
Completely regular spaces and Tychonoff spaces are related through the notion of [[Kolmogorov equivalence]].
A topological space is Tychonoff if and only if it's both completely regular and [[Kolmogorov space|T<sub>0</sub>]].
On the other hand, a space is completely regular if and only if its [[Kolmogorov quotient]] is Tychonoff.
 
== Examples and counterexamples ==
 
Almost every topological space studied in [[mathematical analysis]] is Tychonoff, or at least completely regular.
For example, the [[real line]] is Tychonoff under the standard [[Euclidean space|Euclidean topology]].
Other examples include:
 
* Every [[metric space]] is Tychonoff; every [[pseudometric space]] is completely regular.
* Every [[locally compact]] [[regular space|regular]] space is completely regular, and therefore every locally compact Hausdorff space is Tychonoff.
* In particular, every [[topological manifold]] is Tychonoff.
* Every [[totally ordered set]] with the [[order topology]] is Tychonoff.
* Every [[topological group]] is completely regular.
* Generalising both the metric spaces and the topological groups, every [[uniform space]] is completely regular. The converse is also true: every completely regular space is uniformisable.
* Every [[CW complex]] is Tychonoff.
* Every [[normal space|normal]] regular space is completely regular, and every normal Hausdorff space is Tychonoff.
* The [[Niemytzki plane]] is an example of a Tychonoff space which is not [[normal space|normal]].
 
== Properties ==
 
===Preservation===
 
Completely regularity and the Tychonoff property are well-behaved with respect to [[initial topology|initial topologies]]. Specifically, complete regularity is preserved by taking arbitrary initial topologies and the Tychonoff property is preserved by taking point-separating initial topologies. It follows that:
* Every [[subspace (topology)|subspace]] of a completely regular or Tychonoff space has the same property.
* A nonempty [[product space]] is completely regular (resp. Tychonoff) if and only if each factor space is completely regular (resp. Tychonoff).
 
Like all separation axioms, completely regularity is not preserved by taking [[final topology|final topologies]]. In particular, [[Quotient space|quotients]] of completely regular spaces need not be [[regular space|regular]]. Quotients of Tychonoff spaces need not even be [[Hausdorff space|Hausdorff]]. There are closed quotients of the [[Moore plane]] which provide counterexamples.
 
===Real-valued continuous functions===
 
For any topological space ''X'', let ''C''(''X'') denote the family of real-valued [[continuous function (topology)|continuous function]]s on ''X'' and let ''C''*(''X'') be the subset of [[bounded function|bounded]] real-valued continuous functions.
 
Completely regular spaces can be characterized by the fact that their topology is completely determined by ''C''(''X'') or ''C''*(''X''). In particular:
 
*A space ''X'' is completely regular if and only if it has the [[initial topology]] induced by ''C''(''X'') or ''C''*(''X'').
*A space ''X'' is completely regular if and only if every closed set can be written as the intersection of a family of [[zero set]]s in ''X'' (i.e. the zero sets form a basis for the closed sets of ''X'').
*A space ''X'' is completely regular if and only if the [[cozero set]]s of ''X'' form a [[basis (topology)|basis]] for the topology of ''X''.  
 
Given an arbitrary topological space (''X'', τ) there is a universal way of associating a completely regular space with (''X'', τ). Let ρ be the initial topology on ''X'' induced by ''C''<sub>τ</sub>(''X'') or, equivalently, the topology generated by the basis of cozero sets in (''X'', τ). Then ρ will be the [[finest topology|finest]] completely regular topology on ''X'' which is coarser than τ. This construction is [[universal property|universal]] in the sense that any continuous function
:<math>f:(X,\tau)\to Y</math>
to a completely regular space ''Y'' will be continuous on (''X'', ρ). In the language of [[category theory]], the [[functor]] which sends (''X'', τ) to (''X'', ρ) is [[left adjoint]] to the inclusion functor '''CReg''' &rarr; '''Top'''. Thus the category of completely regular spaces '''CReg''' is a [[reflective subcategory]] of '''Top''', the [[category of topological spaces]]. By taking [[Kolmogorov quotient]]s, one sees that the subcategory of Tychonoff spaces is also reflective.
 
One can show that ''C''<sub>τ</sub>(''X'') = ''C''<sub>ρ</sub>(''X'') in the above construction so that the rings ''C''(''X'') and ''C''*(''X'') are typically only studied for completely regular spaces ''X''.
 
The category of [[Realcompact_space|real compact]] Tychonoff spaces is anti-equivalent to the category of the rings ''C''(''X'') (where ''X'' is real compact) together with ring homomorphisms as maps. For example one can reconstruct $X$ from ''C''(''X'') when ''X'' is (real) compact. The algebraic theory of these rings is therefore subject of intensive studies.  
A vast generalisation of this class of rings which still resembles many properties of Tychonoff spaces but is also applicable in [[real algebraic geometry]], is the class of [[real closed ring]]s.
 
===Embeddings===
 
Tychonoff spaces are precisely those spaces which can be
[[embedding|embedded]] in [[compact Hausdorff space]]s. More precisely, for every Tychonoff space ''X'', there exists a compact Hausdorff space ''K'' such that ''X'' is [[homeomorphic]] to a subspace of ''K''.
 
In fact, one can always choose ''K'' to be a [[Tychonoff cube]] (i.e. a possibly infinite product of [[unit interval]]s). Every Tychonoff cube is compact Hausdorff as a consequence of [[Tychonoff's theorem]]. Since every subspace of a compact Hausdorff space is Tychonoff one has:
 
:''A topological space is Tychonoff if and only if it can be embedded in a Tychonoff cube''.
 
===Compactifications===
 
Of particular interest are those embeddings where the image of ''X'' is [[dense subset|dense]] in ''K''; these are called Hausdorff [[Compactification (mathematics)|compactifications]] of ''X''. Given any embedding of a Tychonoff space ''X'' in a compact Hausdorff space ''K'' the [[closure (topology)|closure]] of the image of ''X'' in ''K'' is a compactification of ''X''.
 
Among those Hausdorff compactifications, there is a unique "most general" one, the [[Stone–Čech compactification]] β''X''.
It is characterised by the [[universal property]] that, given a continuous map ''f'' from ''X'' to any other compact Hausdorff space ''Y'', there is a [[unique]] continuous map ''g'' from β''X'' to ''Y'' that extends ''f'' in the sense that ''f'' is the [[composition (functions)|composition]] of ''g'' and ''j''.
 
===Uniform structures===
 
Complete regularity is exactly the condition necessary for the existence of [[uniform structure]]s on a topological space. In other words, every [[uniform space]] has a completely regular topology and every completely regular space ''X'' is [[uniformizable]]. A topological space admits a separated uniform structure if and only if it is Tychonoff.
 
Given a completely regular space ''X'' there is usually more than one uniformity on ''X'' that is compatible with the topology of ''X''. However, there will always be a finest compatible uniformity, called the [[fine uniformity]] on ''X''. If ''X'' is Tychonoff, then the uniform structure can be chosen so that β''X'' becomes the [[completion (topology)|completion]] of the uniform space ''X''.
 
==References==
* Stephen Willard, ''General Topology'', (1970) Addison-Wesley Publishing Company, Reading Massachusetts.
* [[Leonard Gillman|Gillman, Leonard]]; [[Meyer Jerison|Jerison, Meyer]] Rings of continuous functions. Reprint of the 1960 edition. Graduate Texts in Mathematics, No. 43. Springer-Verlag, New York-Heidelberg, 1976. xiii+300 pp
 
[[Category:Topology]]
[[Category:Separation axioms]]
[[Category:Topological spaces]]

Revision as of 14:22, 16 October 2013

Template:Separation axiom In topology and related branches of mathematics, Tychonoff spaces and completely regular spaces are kinds of topological spaces. These conditions are examples of separation axioms.

Tychonoff spaces are named after Andrey Nikolayevich Tychonoff, whose Russian name (Тихонов) is variously rendered as "Tychonov", "Tikhonov", "Tihonov", "Tichonov" etc.

Definitions

Suppose that X is a topological space.

X is a completely regular space if given any closed set F and any point x that does not belong to F, then there is a continuous function f from X to the real line R such that f(x) is City Gate (Former KeyPoint) , a brand new upcoming Blended Growth that previously known as KeyPoint. This amazing improvement consist of 311 Residential and a complete of 188 commercial unit. An Iconic Masterpiece with three-storey of shopping and eating podium with the residential tower that rises above provides colour to the fast surrounding. A distinct icon that may rework the landscape of Seaside Rd.

lengthy-term commitments to buy gathering companies. This seems to be the first The good news is, whereas the primary preview is private and usually reserved for administrators, business associates, and even shareholders of the developer, the first public preview is open to only about anyone with the means and want to purchase a unit. But you'd normally have to pre-register for it. Additionally, you will be registered for the VIP Preview should you so request. That sometimes entails submitting a kind listing your particulars & most well-liked units, together with your cheque. The agent will usually take care of a lot of the paperwork. Contact the agent to e mail you the necessary documents. Costs can be decrease than after the showflat is opened to stroll-ins. Upcoming co ndo In 2013 Octorber

Is also well connected to the remainder of Singapore by way of major expressways BKE and PIE. Including convenience even to the motorists. New launch FREEHOLD apartment Whitehaven residing by the west New launch rental Flora Ville New launch rental Lakefront living at Jurong Current property launch which are hidden gems Continuereading "The Crest Apartment by Wing Tai Preview Launch Soon" Current New Condo Launch Highlights Yahoo Singapore couldn't independently confirm the claims within the put up however has contacted SingTel for feedback. New launch rental 28 RC Suites New launch apartment metropolis fringe living by the Riverfront New launch condo Waterfront residing at Rivertrees Belgravia Villas Cluster House @ Ang Mo Kio Open for Sale 19September N ew Condo City Vista Tanah Merah Launch 2013 Full rental facilities

One other factor to think about when deciding between landed property and a Singapore new condos in singapore launches condominium is how shut you wish to be to different facilities like banks, hospitals, buying centers, public transportation, and so on. Landed houses as an entire are typically further away these constructions while condos are developed round these nodes for reasons of accessibility. If you happen to do not own a car, finding a condo would not be a bad concept. SGDeveloper.com showcase unique developer new properties launches in Singapore or abroad. Our workforce of skilled real property consultants from various companies will enable you in securing your new dream dwelling or in your property funding needs. Residents Save the Property 2012 Simply Launch Condominium New launch condominium combined growth by CDL

Lush Acres Govt Condominium is going to launch soon at Sengkang West Manner By Metropolis Developments Restricted. Lush Acres displays the broad expense of area, environmentally-inexperienced constructing and luxurious panorama of this low density growth with only 22% of website coverage. There have been college students, retirees and property brokers napping, snacking and enjoying cards in the queue to kill time. Such a scene made passers-by wonder whether the crowd really consisted of genuine patrons, or simply half-timers being paid to pretend how scorching the new challenge was. The brand was filed in Switzerland in October 2009 with a model r egistration dated March 25, 2010 A deposit was also recorded in France on the INPI (National Institute of Intellectual Property) Coastal industrial spaceports

The Brownsville, Texas web site, therefore, gives an enticing combination of deep southern location, launch from the seaside, favorable regulatory environment, experienced workforce and ocean-delivery terminal. Clearly, SpaceX is exploring an alluring strategy of creating a sizeable personal business spaceport there. By Premium Developer, Wingtai Designed By Famend Architect, Toyo Ito (Vivo City, Belle Vue Residences, etc) Uncommon 256,000 sqft Condominium (Rectangular Land) Serene & Exclusive Atmosphere Quick Drive To Metropolis. Stroll To Redhill MRT Near Prestigious Schools Such As Crescent Girls' & Gan Eng Seng his house and simply past a stand of Oak and Ash, the hillside's natural form owned by Chesapeake. It also agreed to purchase industrial tools used to

Developer QingJian Realty Group Pte Ltd Address Woodlands Avenue 5 Area North Tenure ninety nine years Estimated Completion Web site Space 58,812 sq. metre Development Sort Executive Condominium Whole No. of Items Carpark Tons Amenities Unit Varieties That will soon change. The personal company Area Exploration Applied sciences ( SpaceX ) has been narrowing its search for a brand new location through which to construct a business launch facility for industrial clients. From its authentic listing, which included Virginia, Alaska and California, the corporate has not too long ago focused on Florida, Georgia, Puerto Rico and significantly Texas. Will SpaceX Launch from Texas? (Unique Video) District 20, Freehold Strata Cluster house District 10, Freehold house District 10, Freehold Condominium and, for every y in F, f(y) is City Gate (Former KeyPoint) , a brand new upcoming Blended Growth that previously known as KeyPoint. This amazing improvement consist of 311 Residential and a complete of 188 commercial unit. An Iconic Masterpiece with three-storey of shopping and eating podium with the residential tower that rises above provides colour to the fast surrounding. A distinct icon that may rework the landscape of Seaside Rd.

lengthy-term commitments to buy gathering companies. This seems to be the first The good news is, whereas the primary preview is private and usually reserved for administrators, business associates, and even shareholders of the developer, the first public preview is open to only about anyone with the means and want to purchase a unit. But you'd normally have to pre-register for it. Additionally, you will be registered for the VIP Preview should you so request. That sometimes entails submitting a kind listing your particulars & most well-liked units, together with your cheque. The agent will usually take care of a lot of the paperwork. Contact the agent to e mail you the necessary documents. Costs can be decrease than after the showflat is opened to stroll-ins. Upcoming co ndo In 2013 Octorber

Is also well connected to the remainder of Singapore by way of major expressways BKE and PIE. Including convenience even to the motorists. New launch FREEHOLD apartment Whitehaven residing by the west New launch rental Flora Ville New launch rental Lakefront living at Jurong Current property launch which are hidden gems Continuereading "The Crest Apartment by Wing Tai Preview Launch Soon" Current New Condo Launch Highlights Yahoo Singapore couldn't independently confirm the claims within the put up however has contacted SingTel for feedback. New launch rental 28 RC Suites New launch apartment metropolis fringe living by the Riverfront New launch condo Waterfront residing at Rivertrees Belgravia Villas Cluster House @ Ang Mo Kio Open for Sale 19September N ew Condo City Vista Tanah Merah Launch 2013 Full rental facilities

One other factor to think about when deciding between landed property and a Singapore new condos in singapore launches condominium is how shut you wish to be to different facilities like banks, hospitals, buying centers, public transportation, and so on. Landed houses as an entire are typically further away these constructions while condos are developed round these nodes for reasons of accessibility. If you happen to do not own a car, finding a condo would not be a bad concept. SGDeveloper.com showcase unique developer new properties launches in Singapore or abroad. Our workforce of skilled real property consultants from various companies will enable you in securing your new dream dwelling or in your property funding needs. Residents Save the Property 2012 Simply Launch Condominium New launch condominium combined growth by CDL

Lush Acres Govt Condominium is going to launch soon at Sengkang West Manner By Metropolis Developments Restricted. Lush Acres displays the broad expense of area, environmentally-inexperienced constructing and luxurious panorama of this low density growth with only 22% of website coverage. There have been college students, retirees and property brokers napping, snacking and enjoying cards in the queue to kill time. Such a scene made passers-by wonder whether the crowd really consisted of genuine patrons, or simply half-timers being paid to pretend how scorching the new challenge was. The brand was filed in Switzerland in October 2009 with a model r egistration dated March 25, 2010 A deposit was also recorded in France on the INPI (National Institute of Intellectual Property) Coastal industrial spaceports

The Brownsville, Texas web site, therefore, gives an enticing combination of deep southern location, launch from the seaside, favorable regulatory environment, experienced workforce and ocean-delivery terminal. Clearly, SpaceX is exploring an alluring strategy of creating a sizeable personal business spaceport there. By Premium Developer, Wingtai Designed By Famend Architect, Toyo Ito (Vivo City, Belle Vue Residences, etc) Uncommon 256,000 sqft Condominium (Rectangular Land) Serene & Exclusive Atmosphere Quick Drive To Metropolis. Stroll To Redhill MRT Near Prestigious Schools Such As Crescent Girls' & Gan Eng Seng his house and simply past a stand of Oak and Ash, the hillside's natural form owned by Chesapeake. It also agreed to purchase industrial tools used to

Developer QingJian Realty Group Pte Ltd Address Woodlands Avenue 5 Area North Tenure ninety nine years Estimated Completion Web site Space 58,812 sq. metre Development Sort Executive Condominium Whole No. of Items Carpark Tons Amenities Unit Varieties That will soon change. The personal company Area Exploration Applied sciences ( SpaceX ) has been narrowing its search for a brand new location through which to construct a business launch facility for industrial clients. From its authentic listing, which included Virginia, Alaska and California, the corporate has not too long ago focused on Florida, Georgia, Puerto Rico and significantly Texas. Will SpaceX Launch from Texas? (Unique Video) District 20, Freehold Strata Cluster house District 10, Freehold house District 10, Freehold Condominium. In other terms, this condition says that x and F can be separated by a continuous function.

X is a Tychonoff space, or T3½ space, or Tπ space, or completely T3 space if it is both completely regular and Hausdorff.

Note that some mathematical literature uses different definitions for the term "completely regular" and the terms involving "T". The definitions that we have given here are the ones usually used today; however, some authors switch the meanings of the two kinds of terms, or use all terms synonymously for only one condition. In Wikipedia, we will use the terms "completely regular" and "Tychonoff" freely, but we'll avoid the less clear "T" terms. In other literature, you should take care to find out which definitions the author is using. (The phrase "completely regular Hausdorff", however, is unambiguous, and always means a Tychonoff space.) For more on this issue, see History of the separation axioms.

Completely regular spaces and Tychonoff spaces are related through the notion of Kolmogorov equivalence. A topological space is Tychonoff if and only if it's both completely regular and T0. On the other hand, a space is completely regular if and only if its Kolmogorov quotient is Tychonoff.

Examples and counterexamples

Almost every topological space studied in mathematical analysis is Tychonoff, or at least completely regular. For example, the real line is Tychonoff under the standard Euclidean topology. Other examples include:

Properties

Preservation

Completely regularity and the Tychonoff property are well-behaved with respect to initial topologies. Specifically, complete regularity is preserved by taking arbitrary initial topologies and the Tychonoff property is preserved by taking point-separating initial topologies. It follows that:

  • Every subspace of a completely regular or Tychonoff space has the same property.
  • A nonempty product space is completely regular (resp. Tychonoff) if and only if each factor space is completely regular (resp. Tychonoff).

Like all separation axioms, completely regularity is not preserved by taking final topologies. In particular, quotients of completely regular spaces need not be regular. Quotients of Tychonoff spaces need not even be Hausdorff. There are closed quotients of the Moore plane which provide counterexamples.

Real-valued continuous functions

For any topological space X, let C(X) denote the family of real-valued continuous functions on X and let C*(X) be the subset of bounded real-valued continuous functions.

Completely regular spaces can be characterized by the fact that their topology is completely determined by C(X) or C*(X). In particular:

  • A space X is completely regular if and only if it has the initial topology induced by C(X) or C*(X).
  • A space X is completely regular if and only if every closed set can be written as the intersection of a family of zero sets in X (i.e. the zero sets form a basis for the closed sets of X).
  • A space X is completely regular if and only if the cozero sets of X form a basis for the topology of X.

Given an arbitrary topological space (X, τ) there is a universal way of associating a completely regular space with (X, τ). Let ρ be the initial topology on X induced by Cτ(X) or, equivalently, the topology generated by the basis of cozero sets in (X, τ). Then ρ will be the finest completely regular topology on X which is coarser than τ. This construction is universal in the sense that any continuous function

f:(X,τ)→Y

to a completely regular space Y will be continuous on (X, ρ). In the language of category theory, the functor which sends (X, τ) to (X, ρ) is left adjoint to the inclusion functor CReg → Top. Thus the category of completely regular spaces CReg is a reflective subcategory of Top, the category of topological spaces. By taking Kolmogorov quotients, one sees that the subcategory of Tychonoff spaces is also reflective.

One can show that Cτ(X) = Cρ(X) in the above construction so that the rings C(X) and C*(X) are typically only studied for completely regular spaces X.

The category of real compact Tychonoff spaces is anti-equivalent to the category of the rings C(X) (where X is real compact) together with ring homomorphisms as maps. For example one can reconstruct $X$ from C(X) when X is (real) compact. The algebraic theory of these rings is therefore subject of intensive studies. A vast generalisation of this class of rings which still resembles many properties of Tychonoff spaces but is also applicable in real algebraic geometry, is the class of real closed rings.

Embeddings

Tychonoff spaces are precisely those spaces which can be embedded in compact Hausdorff spaces. More precisely, for every Tychonoff space X, there exists a compact Hausdorff space K such that X is homeomorphic to a subspace of K.

In fact, one can always choose K to be a Tychonoff cube (i.e. a possibly infinite product of unit intervals). Every Tychonoff cube is compact Hausdorff as a consequence of Tychonoff's theorem. Since every subspace of a compact Hausdorff space is Tychonoff one has:

A topological space is Tychonoff if and only if it can be embedded in a Tychonoff cube.

Compactifications

Of particular interest are those embeddings where the image of X is dense in K; these are called Hausdorff compactifications of X. Given any embedding of a Tychonoff space X in a compact Hausdorff space K the closure of the image of X in K is a compactification of X.

Among those Hausdorff compactifications, there is a unique "most general" one, the Stone–Čech compactification βX. It is characterised by the universal property that, given a continuous map f from X to any other compact Hausdorff space Y, there is a unique continuous map g from βX to Y that extends f in the sense that f is the composition of g and j.

Uniform structures

Complete regularity is exactly the condition necessary for the existence of uniform structures on a topological space. In other words, every uniform space has a completely regular topology and every completely regular space X is uniformizable. A topological space admits a separated uniform structure if and only if it is Tychonoff.

Given a completely regular space X there is usually more than one uniformity on X that is compatible with the topology of X. However, there will always be a finest compatible uniformity, called the fine uniformity on X. If X is Tychonoff, then the uniform structure can be chosen so that βX becomes the completion of the uniform space X.

References

  • Stephen Willard, General Topology, (1970) Addison-Wesley Publishing Company, Reading Massachusetts.
  • Gillman, Leonard; Jerison, Meyer Rings of continuous functions. Reprint of the 1960 edition. Graduate Texts in Mathematics, No. 43. Springer-Verlag, New York-Heidelberg, 1976. xiii+300 pp
Retrieved from "https://en.formulasearchengine.com/index.php?title=Transfinite_induction&oldid=1025"