Fredholm kernel: Difference between revisions
en>Bdmy m →Properties: Periods added |
en>Monkbot |
||
Line 1: | Line 1: | ||
In [[mathematics]], there are usually many different ways to construct a '''topological tensor product''' of two [[topological vector space]]s. For [[Hilbert space]]s or [[nuclear space]]s there is a simple [[well-behaved]] theory of [[tensor product]]s (see [[Tensor product of Hilbert spaces]]), but for general [[Banach space]]s or [[locally convex topological vector space]] the theory is notoriously subtle. | |||
==Tensor products of Hilbert spaces== | |||
:{{Main|Tensor product of Hilbert spaces}} | |||
The algebraic tensor product of two Hilbert spaces ''A'' and ''B'' | |||
has a natural positive definite [[sesquilinear form]] (scalar product) induced by the sesquilinear forms of ''A'' and ''B''. So in particular it has a natural [[positive definite quadratic form]], and the corresponding completion is a Hilbert space ''A''⊗''B'', called the (Hilbert space) tensor product of ''A'' and ''B''. | |||
If the vectors ''a<sub>i</sub>'' and ''b<sub>j</sub>'' run through [[Orthonormal basis|orthonormal bases]] of ''A'' and ''B'', then the vectors ''a<sub>i</sub>''⊗''b<sub>j</sub>'' form an orthonormal basis of ''A''⊗''B''. | |||
==Cross norms and tensor products of Banach spaces== | |||
We shall use the notation from {{harv|Ryan|2002}} in this section. The obvious way to define the tensor product of two Banach spaces ''A'' and ''B'' is to copy the method for Hilbert spaces: define a norm on the algebraic tensor product, then take the completion in this norm. The problem is that there is more than one natural way to define a norm on the tensor product. | |||
If ''A'' and ''B'' are Banach spaces the algebraic tensor product of ''A'' and ''B'' means the [[tensor product]] of | |||
''A'' and ''B'' as vector spaces and is denoted by <math>A \otimes B</math>. | |||
The algebraic tensor product <math>A \otimes B</math> consists of all finite sums | |||
:<math>x = \sum_{i=1}^n a_i \otimes b_i</math> | |||
where <math>n</math> is a natural number depending on <math>x</math> and | |||
<math>a_i \in A</math> and <math>b_i \in B</math> for | |||
<math>i = 1, \ldots, n</math>. | |||
When ''A'' and ''B'' are Banach spaces, a '''cross norm''' ''p'' on the algebraic tensor product <math>A \otimes B</math> | |||
is a norm satisfying the conditions | |||
:<math>p(a \otimes b) = \|a\| \|b\|</math> | |||
:<math>p'(a' \otimes b') = \|a'\| \|b'\|.</math> | |||
Here ''a''′ and ''b''′ are in the [[Dual space#Continuous dual space|topological dual spaces]] of ''A'' and ''B'', respectively, | |||
and ''p''′ is the [[dual norm]] of ''p''. The term '''reasonable crossnorm''' is also used for the definition above. | |||
There is a largest cross norm <math>\pi</math> called the projective cross norm, given by | |||
:<math>\pi(x) = \inf \left\{ \sum_{i=1}^n \|a_i\| \|b_i\| : x = \sum_{i} a_i \otimes b_i \right\}</math> | |||
where <math>x \in A \otimes B</math>. | |||
There is a smallest cross norm <math>\varepsilon</math> called the injective cross norm, given by | |||
:<math>\varepsilon(x) = \sup \{ |(a'\otimes b')(x)| : a' \in A', b' \in B', \|a'\| = \|b'\| = 1 \}</math> | |||
where <math>x \in A \otimes B</math>. Here ''A''′ and ''B''′ mean the topological duals of ''A'' and ''B'', respectively. | |||
The completions of the algebraic tensor product in these two norms are called | |||
the projective and injective tensor products, and are denoted by <math>A \hat{\otimes}_\pi B</math> | |||
and <math>A \hat{\otimes}_\varepsilon B</math>. | |||
The norm used for the Hilbert space tensor product is not equal to either of these norms in general. | |||
Some authors denote it by σ, so the Hilbert space tensor product in the section above would be | |||
<math>A \hat{\otimes}_\sigma B</math>. | |||
A '''uniform crossnorm''' α is an assignment to each pair <math>(X, Y)</math> of Banach spaces of a reasonable crossnorm on <math>X \otimes Y</math> so that if <math>X</math>, <math>W</math>, <math>Y</math>, <math>Z</math> are arbitrary Banach spaces then for all (continuous linear) operators <math>S: X \to W</math> and <math>T: Y \to Z</math> the operator <math>S \otimes T : X \otimes_\alpha Y \to W \otimes_\alpha Z</math> is continuous and | |||
<math>\|S \otimes T\| \leq \|S\| \|T\|</math>. | |||
If ''A'' and ''B'' are two Banach spaces and α is a uniform cross norm then α defines a reasonable cross norm on the algebraic tensor product <math>A \otimes B</math>. The normed linear space obtained by equipping <math>A \otimes B</math> with that norm is denoted by <math>A \otimes_\alpha B</math>. The completion of <math>A \otimes_\alpha B</math>, which is a Banach space, is denoted by <math>A \hat{\otimes}_\alpha B</math>. The value of the norm given by α on <math>A \otimes B</math> and on the completed tensor product <math>A \hat{\otimes}_\alpha B</math> for an element ''x'' in <math>A \hat{\otimes}_\alpha B</math> | |||
(or <math>A \otimes_\alpha B</math>) is denoted by <math>\alpha_{A,B}(x)</math> or <math>\alpha(x)</math>. | |||
A uniform crossnorm <math>\alpha</math> is said to be '''finitely generated''' if, for every pair <math>(X, Y)</math> of Banach spaces and every <math>u \in X \otimes Y</math>, | |||
:<math>\alpha(u; X \otimes Y) = \inf \{ \alpha(u ; M \otimes N) : \dim M, \dim N < \infty \}.</math> | |||
A uniform crossnorm <math>\alpha</math> is '''cofinitely generated''' if, for every pair <math>(X, Y)</math> of Banach spaces and every <math>u \in X \otimes Y</math>, | |||
:<math>\alpha(u) = \sup \{ \alpha((Q_E \otimes Q_F)u; (X/E) \otimes (Y/F)) : \dim X/E, \dim Y/F < \infty \}.</math> | |||
A '''tensor norm''' is defined to be a finitely generated uniform crossnorm. | |||
The projective cross norm <math>\pi</math> and the injective cross norm <math>\varepsilon</math> defined above are tensor norms | |||
and they are called the projective tensor norm and the injective tensor norm, respectively. | |||
If ''A'' and ''B'' are arbitrary Banach spaces and ''α'' is an arbitrary uniform cross norm then | |||
:<math>\varepsilon_{A,B}(x) \leq \alpha_{A,B}(x) \leq \pi_{A,B}(x).</math> | |||
==Tensor products of locally convex topological vector spaces== | |||
The topologies of locally convex topological vector spaces ''A'' and ''B'' are given by families of [[seminorm]]s. For each choice of seminorm | |||
on ''A'' and on ''B'' we can define the corresponding family of cross norms on the algebraic tensor product ''A''⊗''B'', and by choosing one cross norm from each family we get some cross norms on ''A''⊗''B'', defining a topology. There are in general an enormous number of ways to do this. The two most important ways are to take all the projective cross norms, or all the injective cross norms. The completions of the resulting topologies on ''A''⊗''B'' are called the projective and injective tensor products, and denoted by ''A''⊗<sub>γ</sub>''B'' and ''A''⊗<sub>λ</sub>''B''. | |||
There is a natural map from ''A''⊗<sub>γ</sub>''B'' | |||
to ''A''⊗<sub>λ</sub>''B''. | |||
If ''A'' or ''B'' is a [[nuclear space]] then the natural map from ''A''⊗<sub>γ</sub>''B'' | |||
to ''A''⊗<sub>λ</sub>''B'' is an isomorphism. Roughly speaking, this means that if ''A'' or ''B'' is nuclear, then there is only one sensible tensor product of ''A'' and ''B''. | |||
This property characterizes nuclear spaces. | |||
==See also== | |||
*[[Hilbert space]], [[Banach space]], [[Fréchet space]], [[locally convex topological vector space]], [[Nuclear space]] | |||
*[[Tensor product of Hilbert spaces]] | |||
*[[Fredholm kernel]] | |||
*[[Projective topology]] | |||
==References== | |||
*{{citation|last=Ryan|first=R.A.|title=Introduction to Tensor Products of Banach Spaces|publisher=Springer|publication-place=New York|year=2002}}. | |||
*{{citation|first=A.|last=Grothendieck|authorlink=Alexander Grothendieck|title=Produits tensoriels topologiques et espaces nucléaires|journal=Memoirs of the American Mathematical Society|volume=16|year=1955}}. | |||
{{Functional Analysis}} | |||
[[Category:Operator theory]] | |||
[[Category:Topological vector spaces]] | |||
[[Category:Hilbert space]] |
Revision as of 05:44, 19 January 2014
In mathematics, there are usually many different ways to construct a topological tensor product of two topological vector spaces. For Hilbert spaces or nuclear spaces there is a simple well-behaved theory of tensor products (see Tensor product of Hilbert spaces), but for general Banach spaces or locally convex topological vector space the theory is notoriously subtle.
Tensor products of Hilbert spaces
- Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church.
The algebraic tensor product of two Hilbert spaces A and B has a natural positive definite sesquilinear form (scalar product) induced by the sesquilinear forms of A and B. So in particular it has a natural positive definite quadratic form, and the corresponding completion is a Hilbert space A⊗B, called the (Hilbert space) tensor product of A and B.
If the vectors ai and bj run through orthonormal bases of A and B, then the vectors ai⊗bj form an orthonormal basis of A⊗B.
Cross norms and tensor products of Banach spaces
We shall use the notation from Template:Harv in this section. The obvious way to define the tensor product of two Banach spaces A and B is to copy the method for Hilbert spaces: define a norm on the algebraic tensor product, then take the completion in this norm. The problem is that there is more than one natural way to define a norm on the tensor product.
If A and B are Banach spaces the algebraic tensor product of A and B means the tensor product of A and B as vector spaces and is denoted by . The algebraic tensor product consists of all finite sums
where is a natural number depending on and and for .
When A and B are Banach spaces, a cross norm p on the algebraic tensor product is a norm satisfying the conditions
Here a′ and b′ are in the topological dual spaces of A and B, respectively, and p′ is the dual norm of p. The term reasonable crossnorm is also used for the definition above.
There is a largest cross norm called the projective cross norm, given by
There is a smallest cross norm called the injective cross norm, given by
where . Here A′ and B′ mean the topological duals of A and B, respectively.
The completions of the algebraic tensor product in these two norms are called the projective and injective tensor products, and are denoted by and .
The norm used for the Hilbert space tensor product is not equal to either of these norms in general. Some authors denote it by σ, so the Hilbert space tensor product in the section above would be .
A uniform crossnorm α is an assignment to each pair of Banach spaces of a reasonable crossnorm on so that if , , , are arbitrary Banach spaces then for all (continuous linear) operators and the operator is continuous and . If A and B are two Banach spaces and α is a uniform cross norm then α defines a reasonable cross norm on the algebraic tensor product . The normed linear space obtained by equipping with that norm is denoted by . The completion of , which is a Banach space, is denoted by . The value of the norm given by α on and on the completed tensor product for an element x in (or ) is denoted by or .
A uniform crossnorm is said to be finitely generated if, for every pair of Banach spaces and every ,
A uniform crossnorm is cofinitely generated if, for every pair of Banach spaces and every ,
A tensor norm is defined to be a finitely generated uniform crossnorm. The projective cross norm and the injective cross norm defined above are tensor norms and they are called the projective tensor norm and the injective tensor norm, respectively.
If A and B are arbitrary Banach spaces and α is an arbitrary uniform cross norm then
Tensor products of locally convex topological vector spaces
The topologies of locally convex topological vector spaces A and B are given by families of seminorms. For each choice of seminorm on A and on B we can define the corresponding family of cross norms on the algebraic tensor product A⊗B, and by choosing one cross norm from each family we get some cross norms on A⊗B, defining a topology. There are in general an enormous number of ways to do this. The two most important ways are to take all the projective cross norms, or all the injective cross norms. The completions of the resulting topologies on A⊗B are called the projective and injective tensor products, and denoted by A⊗γB and A⊗λB. There is a natural map from A⊗γB to A⊗λB.
If A or B is a nuclear space then the natural map from A⊗γB to A⊗λB is an isomorphism. Roughly speaking, this means that if A or B is nuclear, then there is only one sensible tensor product of A and B. This property characterizes nuclear spaces.
See also
- Hilbert space, Banach space, Fréchet space, locally convex topological vector space, Nuclear space
- Tensor product of Hilbert spaces
- Fredholm kernel
- Projective topology
References
- Many property agents need to declare for the PIC grant in Singapore. However, not all of them know find out how to do the correct process for getting this PIC scheme from the IRAS. There are a number of steps that you need to do before your software can be approved.
Naturally, you will have to pay a safety deposit and that is usually one month rent for annually of the settlement. That is the place your good religion deposit will likely be taken into account and will kind part or all of your security deposit. Anticipate to have a proportionate amount deducted out of your deposit if something is discovered to be damaged if you move out. It's best to you'll want to test the inventory drawn up by the owner, which can detail all objects in the property and their condition. If you happen to fail to notice any harm not already mentioned within the inventory before transferring in, you danger having to pay for it yourself.
In case you are in search of an actual estate or Singapore property agent on-line, you simply should belief your intuition. It's because you do not know which agent is nice and which agent will not be. Carry out research on several brokers by looking out the internet. As soon as if you end up positive that a selected agent is dependable and reliable, you can choose to utilize his partnerise in finding you a home in Singapore. Most of the time, a property agent is taken into account to be good if he or she locations the contact data on his website. This may mean that the agent does not mind you calling them and asking them any questions relating to new properties in singapore in Singapore. After chatting with them you too can see them in their office after taking an appointment.
Have handed an trade examination i.e Widespread Examination for House Brokers (CEHA) or Actual Property Agency (REA) examination, or equal; Exclusive brokers are extra keen to share listing information thus making certain the widest doable coverage inside the real estate community via Multiple Listings and Networking. Accepting a severe provide is simpler since your agent is totally conscious of all advertising activity related with your property. This reduces your having to check with a number of agents for some other offers. Price control is easily achieved. Paint work in good restore-discuss with your Property Marketing consultant if main works are still to be done. Softening in residential property prices proceed, led by 2.8 per cent decline within the index for Remainder of Central Region
Once you place down the one per cent choice price to carry down a non-public property, it's important to accept its situation as it is whenever you move in – faulty air-con, choked rest room and all. Get round this by asking your agent to incorporate a ultimate inspection clause within the possibility-to-buy letter. HDB flat patrons routinely take pleasure in this security net. "There's a ultimate inspection of the property two days before the completion of all HDB transactions. If the air-con is defective, you can request the seller to repair it," says Kelvin.
15.6.1 As the agent is an intermediary, generally, as soon as the principal and third party are introduced right into a contractual relationship, the agent drops out of the image, subject to any problems with remuneration or indemnification that he could have against the principal, and extra exceptionally, against the third occasion. Generally, agents are entitled to be indemnified for all liabilities reasonably incurred within the execution of the brokers´ authority.
To achieve the very best outcomes, you must be always updated on market situations, including past transaction information and reliable projections. You could review and examine comparable homes that are currently available in the market, especially these which have been sold or not bought up to now six months. You'll be able to see a pattern of such report by clicking here It's essential to defend yourself in opposition to unscrupulous patrons. They are often very skilled in using highly unethical and manipulative techniques to try and lure you into a lure. That you must also protect your self, your loved ones, and personal belongings as you'll be serving many strangers in your home. Sign a listing itemizing of all of the objects provided by the proprietor, together with their situation. HSR Prime Recruiter 2010. - Many property agents need to declare for the PIC grant in Singapore. However, not all of them know find out how to do the correct process for getting this PIC scheme from the IRAS. There are a number of steps that you need to do before your software can be approved.
Naturally, you will have to pay a safety deposit and that is usually one month rent for annually of the settlement. That is the place your good religion deposit will likely be taken into account and will kind part or all of your security deposit. Anticipate to have a proportionate amount deducted out of your deposit if something is discovered to be damaged if you move out. It's best to you'll want to test the inventory drawn up by the owner, which can detail all objects in the property and their condition. If you happen to fail to notice any harm not already mentioned within the inventory before transferring in, you danger having to pay for it yourself.
In case you are in search of an actual estate or Singapore property agent on-line, you simply should belief your intuition. It's because you do not know which agent is nice and which agent will not be. Carry out research on several brokers by looking out the internet. As soon as if you end up positive that a selected agent is dependable and reliable, you can choose to utilize his partnerise in finding you a home in Singapore. Most of the time, a property agent is taken into account to be good if he or she locations the contact data on his website. This may mean that the agent does not mind you calling them and asking them any questions relating to new properties in singapore in Singapore. After chatting with them you too can see them in their office after taking an appointment.
Have handed an trade examination i.e Widespread Examination for House Brokers (CEHA) or Actual Property Agency (REA) examination, or equal; Exclusive brokers are extra keen to share listing information thus making certain the widest doable coverage inside the real estate community via Multiple Listings and Networking. Accepting a severe provide is simpler since your agent is totally conscious of all advertising activity related with your property. This reduces your having to check with a number of agents for some other offers. Price control is easily achieved. Paint work in good restore-discuss with your Property Marketing consultant if main works are still to be done. Softening in residential property prices proceed, led by 2.8 per cent decline within the index for Remainder of Central Region
Once you place down the one per cent choice price to carry down a non-public property, it's important to accept its situation as it is whenever you move in – faulty air-con, choked rest room and all. Get round this by asking your agent to incorporate a ultimate inspection clause within the possibility-to-buy letter. HDB flat patrons routinely take pleasure in this security net. "There's a ultimate inspection of the property two days before the completion of all HDB transactions. If the air-con is defective, you can request the seller to repair it," says Kelvin.
15.6.1 As the agent is an intermediary, generally, as soon as the principal and third party are introduced right into a contractual relationship, the agent drops out of the image, subject to any problems with remuneration or indemnification that he could have against the principal, and extra exceptionally, against the third occasion. Generally, agents are entitled to be indemnified for all liabilities reasonably incurred within the execution of the brokers´ authority.
To achieve the very best outcomes, you must be always updated on market situations, including past transaction information and reliable projections. You could review and examine comparable homes that are currently available in the market, especially these which have been sold or not bought up to now six months. You'll be able to see a pattern of such report by clicking here It's essential to defend yourself in opposition to unscrupulous patrons. They are often very skilled in using highly unethical and manipulative techniques to try and lure you into a lure. That you must also protect your self, your loved ones, and personal belongings as you'll be serving many strangers in your home. Sign a listing itemizing of all of the objects provided by the proprietor, together with their situation. HSR Prime Recruiter 2010.