Kan extension: Difference between revisions
en>Reredur |
en>Tyrrell McAllister Kan extensions generalize the notion of extending a function defined on a subset to a function defined on the whole set. |
||
Line 1: | Line 1: | ||
In [[mathematics]], a '''Banach manifold''' is a [[manifold]] modeled on [[Banach spaces]]. Thus it is a [[topological space]] in which each point has a [[Neighbourhood (mathematics)|neighbourhood]] [[homeomorphic]] to an [[open set]] in a Banach space (a more involved and formal definition is given below). Banach manifolds are one possibility of extending manifolds to [[Infinity|infinite]] [[dimension]]s. | |||
A further generalisation is to [[Fréchet manifold]]s, replacing Banach spaces by [[Fréchet space]]s. On the other hand, a [[Hilbert manifold]] is a special case of a Banach manifold in which the manifold is locally modelled on [[Hilbert space]]s. | |||
==Definition== | |||
Let ''X'' be a [[Set (mathematics)|set]]. An '''[[Atlas (topology)|atlas]] of class''' ''C''<sup>''r''</sup>, ''r'' ≥ 0, on ''X'' is a collection of pairs (called '''[[Atlas (topology)#Charts|charts]]''') (''U''<sub>''i''</sub>, ''φ''<sub>''i''</sub>), ''i'' ∈ ''I'', such that | |||
# each ''U''<sub>''i''</sub> is a [[subset]] of ''X'' and the [[union (set theory)|union]] of the ''U''<sub>''i''</sub> is the whole of ''X''; | |||
# each ''φ''<sub>''i''</sub> is a [[bijection]] from ''U''<sub>''i''</sub> onto an [[open subset]] ''φ''<sub>''i''</sub>(''U''<sub>''i''</sub>) of some Banach space ''E''<sub>''i''</sub>, and for any ''i'' and ''j'', ''φ''<sub>''i''</sub>(''U''<sub>''i''</sub> ∩ ''U''<sub>''j''</sub>) is open in ''E''<sub>''i''</sub>; | |||
# the crossover map | |||
::<math>\varphi_{j} \circ \varphi_{i}^{-1} : \varphi_{i} (U_{i} \cap U_{j}) \to \varphi_{j} (U_{i} \cap U_{j})</math> | |||
: is an [[Smooth function|''r''-times continuously differentiable]] function for every ''i'' and ''j'' in ''I'', i.e. the ''r''<sup>th</sup> [[Fréchet derivative]] | |||
::<math>\mathrm{d}^{r} \big( \varphi_{j} \circ \varphi_{i}^{-1} \big) : \varphi_{i} (U_{i} \cap U_{j}) \to \mathrm{Lin} \big( E_{i}^{r}; E_{j} \big) </math> | |||
: exists and is a [[continuous function]] with respect to the ''E''<sub>''i''</sub>-[[norm (mathematics)|norm]] [[topology]] on subsets of ''E''<sub>''i''</sub> and the [[operator norm]] topology on Lin(''E''<sub>''i''</sub><sup>''r''</sup>; ''E''<sub>''j''</sub>.) | |||
One can then show that there is a unique [[topology]] on ''X'' such that each ''U''<sub>''i''</sub> is open and each ''φ''<sub>''i''</sub> is a [[homeomorphism]]. Very often, this topological space is assumed to be a [[Hausdorff space]], but this is not necessary from the point of view of the formal definition. | |||
If all the Banach spaces ''E''<sub>''i''</sub> are equal to the same space ''E'', the atlas is called an ''E'''''-atlas'''. However, it is not ''[[Wiktionary:A priori|a priori]]'' necessary that the Banach spaces ''E''<sub>''i''</sub> be the same space, or even [[isomorphic]] as [[topological vector space]]s. However, if two charts (''U''<sub>''i''</sub>, ''φ''<sub>''i''</sub>) and (''U''<sub>''j''</sub>, ''φ''<sub>''j''</sub>) are such that ''U''<sub>''i''</sub> and ''U''<sub>''j''</sub> have a non-empty [[intersection (set theory)|intersection]], a quick examination of the [[derivative (generalizations)|derivative]] of the crossover map | |||
:<math>\varphi_{j} \circ \varphi_{i}^{-1} : \varphi_{i} (U_{i} \cap U_{j}) \to \varphi_{j} (U_{i} \cap U_{j})</math> | |||
shows that ''E''<sub>''i''</sub> and ''E''<sub>''j''</sub> must indeed be isomorphic as topological vector spaces. Furthermore, the set of points ''x'' ∈ ''X'' for which there is a chart (''U''<sub>''i''</sub>, ''φ''<sub>''i''</sub>) with ''x'' in ''U''<sub>''i''</sub> and ''E''<sub>''i''</sub> isomorphic to a given Banach space ''E'' is both open and [[closed subset|closed]]. Hence, one can without loss of generality assume that, on each [[connected space|connected component]] of ''X'', the atlas is an ''E''-atlas for some fixed ''E''. | |||
A new chart (''U'', ''φ'') is called '''compatible''' with a given atlas { (''U''<sub>''i''</sub>, ''φ''<sub>''i''</sub>) | ''i'' ∈ ''I'' } if the crossover map | |||
:<math>\varphi_{i} \circ \varphi^{-1} : \varphi (U \cap U_{i}) \to \varphi_{i} (U \cap U_{i})</math> | |||
is an ''r''-times continuously differentiable function for every ''i'' ∈ ''I''. Two atlases are called compatible if every chart in one is compatible with the other atlas. Compatibility defines an [[equivalence relation]] on the class of all possible atlases on ''X''. | |||
A ''C''<sup>''r''</sup>'''-manifold''' structure on ''X'' is then defined to be a choice of equivalence class of atlases on ''X'' of class ''C''<sup>''r''</sup>. If all the Banach spaces ''E''<sub>''i''</sub> are isomorphic as topological vector spaces (which is guaranteed to be the case if ''X'' is [[connected space|connected]]), then an equivalent atlas can be found for which they are all equal to some Banach space ''E''. ''X'' is then called an ''E'''''-manifold''', or one says that ''X'' is '''modeled''' on ''E''. | |||
==Examples== | |||
* If (''X'', ||⋅||) is a Banach space, then ''X'' is a Banach manifold with an atlas containing a single, globally-defined chart (the [[identity function|identity map]]). | |||
* Similarly, if ''U'' is an open subset of some Banach space, then ''U'' is a Banach manifold. (See the classification theorem below.) | |||
==Classification up to homeomorphism== | |||
It is by no means true that a finite-dimensional manifold of dimension ''n'' is ''globally'' homeomorphic to '''R'''<sup>''n''</sup>, or even an open subset of '''R'''<sup>''n''</sup>. However, in an infinite-dimensional setting, it is possible to classify “[[well-behaved]]” Banach manifolds up to homeomorphism quite nicely. A 1969 theorem of David Henderson states that every infinite-dimensional, [[separable space|separable]], [[metric space|metric]] Banach manifold ''X'' can be [[embedding|embedded]] as an open subset of the infinite-dimensional, separable Hilbert space, ''H'' (up to linear isomorphism, there is only one such space). In fact, Henderson's result is stronger: the same conclusion holds for any metric manifold modeled on a separable infinite-dimensional [[Fréchet space]]. | |||
The embedding homeomorphism can be used as a global chart for ''X''. Thus, in the infinite-dimensional, separable, metric case, the “only” Banach manifolds are the open subsets of Hilbert space. | |||
==References== | |||
* {{cite journal | |||
| last = Henderson | |||
| first = David W. | |||
| title = Infinite-dimensional manifolds are open subsets of Hilbert space | |||
| journal = Bull. Amer. Math. Soc. | |||
| volume = 75 | |||
| year = 1969 | |||
| pages = 759–762 | |||
| doi = 10.1090/S0002-9904-1969-12276-7 | |||
| mr = 0247634 | |||
| issue = 4 | |||
}} | |||
* {{cite book | |||
| last = Lang | |||
| first = Serge | |||
| authorlink = Serge Lang | |||
| title = Differential manifolds | |||
| publisher = Addison-Wesley Publishing Co., Inc. | |||
| location = Reading, Mass.–London–Don Mills, Ont. | |||
| year = 1972 | |||
}} | |||
{{DEFAULTSORT:Banach Manifold}} | |||
[[Category:Differential geometry]] | |||
[[Category:Structures on manifolds]] | |||
[[Category:Nonlinear functional analysis]] | |||
[[Category:Manifolds]] |
Latest revision as of 00:09, 15 June 2013
In mathematics, a Banach manifold is a manifold modeled on Banach spaces. Thus it is a topological space in which each point has a neighbourhood homeomorphic to an open set in a Banach space (a more involved and formal definition is given below). Banach manifolds are one possibility of extending manifolds to infinite dimensions.
A further generalisation is to Fréchet manifolds, replacing Banach spaces by Fréchet spaces. On the other hand, a Hilbert manifold is a special case of a Banach manifold in which the manifold is locally modelled on Hilbert spaces.
Definition
Let X be a set. An atlas of class Cr, r ≥ 0, on X is a collection of pairs (called charts) (Ui, φi), i ∈ I, such that
- each Ui is a subset of X and the union of the Ui is the whole of X;
- each φi is a bijection from Ui onto an open subset φi(Ui) of some Banach space Ei, and for any i and j, φi(Ui ∩ Uj) is open in Ei;
- the crossover map
- is an r-times continuously differentiable function for every i and j in I, i.e. the rth Fréchet derivative
- exists and is a continuous function with respect to the Ei-norm topology on subsets of Ei and the operator norm topology on Lin(Eir; Ej.)
One can then show that there is a unique topology on X such that each Ui is open and each φi is a homeomorphism. Very often, this topological space is assumed to be a Hausdorff space, but this is not necessary from the point of view of the formal definition.
If all the Banach spaces Ei are equal to the same space E, the atlas is called an E-atlas. However, it is not a priori necessary that the Banach spaces Ei be the same space, or even isomorphic as topological vector spaces. However, if two charts (Ui, φi) and (Uj, φj) are such that Ui and Uj have a non-empty intersection, a quick examination of the derivative of the crossover map
shows that Ei and Ej must indeed be isomorphic as topological vector spaces. Furthermore, the set of points x ∈ X for which there is a chart (Ui, φi) with x in Ui and Ei isomorphic to a given Banach space E is both open and closed. Hence, one can without loss of generality assume that, on each connected component of X, the atlas is an E-atlas for some fixed E.
A new chart (U, φ) is called compatible with a given atlas { (Ui, φi) | i ∈ I } if the crossover map
is an r-times continuously differentiable function for every i ∈ I. Two atlases are called compatible if every chart in one is compatible with the other atlas. Compatibility defines an equivalence relation on the class of all possible atlases on X.
A Cr-manifold structure on X is then defined to be a choice of equivalence class of atlases on X of class Cr. If all the Banach spaces Ei are isomorphic as topological vector spaces (which is guaranteed to be the case if X is connected), then an equivalent atlas can be found for which they are all equal to some Banach space E. X is then called an E-manifold, or one says that X is modeled on E.
Examples
- If (X, ||⋅||) is a Banach space, then X is a Banach manifold with an atlas containing a single, globally-defined chart (the identity map).
- Similarly, if U is an open subset of some Banach space, then U is a Banach manifold. (See the classification theorem below.)
Classification up to homeomorphism
It is by no means true that a finite-dimensional manifold of dimension n is globally homeomorphic to Rn, or even an open subset of Rn. However, in an infinite-dimensional setting, it is possible to classify “well-behaved” Banach manifolds up to homeomorphism quite nicely. A 1969 theorem of David Henderson states that every infinite-dimensional, separable, metric Banach manifold X can be embedded as an open subset of the infinite-dimensional, separable Hilbert space, H (up to linear isomorphism, there is only one such space). In fact, Henderson's result is stronger: the same conclusion holds for any metric manifold modeled on a separable infinite-dimensional Fréchet space.
The embedding homeomorphism can be used as a global chart for X. Thus, in the infinite-dimensional, separable, metric case, the “only” Banach manifolds are the open subsets of Hilbert space.
References
- One of the biggest reasons investing in a Singapore new launch is an effective things is as a result of it is doable to be lent massive quantities of money at very low interest rates that you should utilize to purchase it. Then, if property values continue to go up, then you'll get a really high return on funding (ROI). Simply make sure you purchase one of the higher properties, reminiscent of the ones at Fernvale the Riverbank or any Singapore landed property Get Earnings by means of Renting
In its statement, the singapore property listing - website link, government claimed that the majority citizens buying their first residence won't be hurt by the new measures. Some concessions can even be prolonged to chose teams of consumers, similar to married couples with a minimum of one Singaporean partner who are purchasing their second property so long as they intend to promote their first residential property. Lower the LTV limit on housing loans granted by monetary establishments regulated by MAS from 70% to 60% for property purchasers who are individuals with a number of outstanding housing loans on the time of the brand new housing purchase. Singapore Property Measures - 30 August 2010 The most popular seek for the number of bedrooms in Singapore is 4, followed by 2 and three. Lush Acres EC @ Sengkang
Discover out more about real estate funding in the area, together with info on international funding incentives and property possession. Many Singaporeans have been investing in property across the causeway in recent years, attracted by comparatively low prices. However, those who need to exit their investments quickly are likely to face significant challenges when trying to sell their property – and could finally be stuck with a property they can't sell. Career improvement programmes, in-house valuation, auctions and administrative help, venture advertising and marketing, skilled talks and traisning are continuously planned for the sales associates to help them obtain better outcomes for his or her shoppers while at Knight Frank Singapore. No change Present Rules
Extending the tax exemption would help. The exemption, which may be as a lot as $2 million per family, covers individuals who negotiate a principal reduction on their existing mortgage, sell their house short (i.e., for lower than the excellent loans), or take part in a foreclosure course of. An extension of theexemption would seem like a common-sense means to assist stabilize the housing market, but the political turmoil around the fiscal-cliff negotiations means widespread sense could not win out. Home Minority Chief Nancy Pelosi (D-Calif.) believes that the mortgage relief provision will be on the table during the grand-cut price talks, in response to communications director Nadeam Elshami. Buying or promoting of blue mild bulbs is unlawful.
A vendor's stamp duty has been launched on industrial property for the primary time, at rates ranging from 5 per cent to 15 per cent. The Authorities might be trying to reassure the market that they aren't in opposition to foreigners and PRs investing in Singapore's property market. They imposed these measures because of extenuating components available in the market." The sale of new dual-key EC models will even be restricted to multi-generational households only. The models have two separate entrances, permitting grandparents, for example, to dwell separately. The vendor's stamp obligation takes effect right this moment and applies to industrial property and plots which might be offered inside three years of the date of buy. JLL named Best Performing Property Brand for second year running
The data offered is for normal info purposes only and isn't supposed to be personalised investment or monetary advice. Motley Fool Singapore contributor Stanley Lim would not personal shares in any corporations talked about. Singapore private home costs increased by 1.eight% within the fourth quarter of 2012, up from 0.6% within the earlier quarter. Resale prices of government-built HDB residences which are usually bought by Singaporeans, elevated by 2.5%, quarter on quarter, the quickest acquire in five quarters. And industrial property, prices are actually double the levels of three years ago. No withholding tax in the event you sell your property. All your local information regarding vital HDB policies, condominium launches, land growth, commercial property and more
There are various methods to go about discovering the precise property. Some local newspapers (together with the Straits Instances ) have categorised property sections and many local property brokers have websites. Now there are some specifics to consider when buying a 'new launch' rental. Intended use of the unit Every sale begins with 10 p.c low cost for finish of season sale; changes to 20 % discount storewide; follows by additional reduction of fiftyand ends with last discount of 70 % or extra. Typically there is even a warehouse sale or transferring out sale with huge mark-down of costs for stock clearance. Deborah Regulation from Expat Realtor shares her property market update, plus prime rental residences and houses at the moment available to lease Esparina EC @ Sengkang - 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534