Adjoint bundle - Revision history

en>TakuyaMurata: /* top */

2014-12-16T00:16:30Z

top

← Older revision		Revision as of 02:16, 16 December 2014
Line 1:		Line 1:
	~~The [[Cantor–Bernstein–Schroeder theorem]], from [[set theory]]~~, ~~has analogs in the context [[operator algebras]]. This article discusses such operator-algebraic results.~~		Nice to satisfy you, my name is Numbers Held although I don't really like becoming called like that. I am a meter reader but I strategy on altering it. What I adore performing is playing baseball but I haven't produced a dime with it. For a while she's been in South Dakota.<br><br>Also visit my site :: [http://www.neweracinema.com/tube/blog/74189 http://www.neweracinema.com]

	~~== For von Neumann algebras ==~~
	~~Suppose '''M'''~~ is ~~a [[von Neumann algebra]] and ''E'', ''F'' are projections in '''M'''. Let ~ denote the [[Von Neumann algebra#Projections\|Murray-von Neumann equivalence relation]] on '''M''~~'. ~~Define~~ a ~~partial order «~~ on ~~the family of projections by ''E'' « ''F'' if ''E'' ~ ''F' '' ≤ ''F''~~. ~~In other words, ''E'' « ''F'~~' ~~if there exists~~ a ~~partial isometry ''U'' ∈ '''M''' such that ''UU'' = ''E'' and ''UU'' ≤ ''F''~~.

	For closed subspaces ''M'' and ''N'' where projections ''P<sub>M</sub>'' and ''P<sub>N</sub>'', onto ''M'' and ''N'' respectively, are elements of '''M''', ''M'' « ''N'' if ''P<sub>M</sub>'' « ''P<sub>N</sub>''.

	~~The '''Schröder–Bernstein theorem''' states that if ''M'' « ''N'' and ''N'' « ''M'', then ''M'' ~ ''N''.~~

	~~A proof, one that is similar to~~ a ~~set-theoretic argument, can be sketched as follows. Colloquially, ''N'' « ''M'' means that ''N'' can be isometrically embedded in ''M''. So~~

	~~:<math>M = M_0 \supset N_0</math>~~

	~~where ''N''<sub>0</sub> is an isometric copy of ''N'~~' in ~~''M''~~. ~~By assumption, it is also true that, ''N'', therefore ''N''~~<~~sub~~>0<~~/sub~~>~~, contains an isometric copy ''M''<sub>1</sub> of ''M''. Therefore one can write~~

	~~:<math>M = M_0 \supset N_0 \supset M_1.</math>~~

	~~By induction,~~

	~~:<math>M = M_0 \supset N_0 \supset M_1 \supset N_1 \supset M_2 \supset N_2 \supset \cdots .</math>~~

	~~It is clear that~~

	:~~<math>R = \cap_{i \geq 0} M_i = \cap_{i \geq 0} N_i.</math>~~

	~~Let~~

	:~~<math>M \ominus N \stackrel{\mathrm{def}}{=} M \cap (N)^{\perp}.</math>~~

	So

	~~:<math>~~
	~~M = \oplus_{i \geq 0} ( M_i \ominus N_i ) \quad \oplus \quad \oplus_{j \geq 0} ( N_j \ominus M_{j+1}) \quad \oplus R~~
	~~</math>~~

	~~and~~

	~~:<math>~~
	~~N_0 = \oplus_{i \geq 1} ( M_i \ominus N_i ) \quad \oplus \quad \oplus_{j \geq 0} ( N_j \ominus M_{j+1}) \quad \oplus R.~~
	~~</math>~~

	~~Notice~~

	~~:<math>M_i \ominus N_i \sim M \ominus N \quad \mbox{for all} \quad i.</math>~~

	~~The theorem now follows from the countable additivity of ~.~~

	~~== Representations of C*-algebras ==~~
	~~There is also an analog of Schröder–Bernstein for representations of~~ [[C-algebras]]. If ''A'' is a C-algebra, a '''[[Gelfand Naimark theorem\|representation]]''' of ''A'' is a *-homomorphism ''φ'' from ''A'' into ''L''(''H''), the bounded operators on some Hilbert space ''H''.

	If there exists a projection ''P'' in ''L''(''H'') where ''P'' ''φ''(''a'') = ''φ''(''a'') ''P'' for every ''a'' in ''A'', then a '''subrepresentation''' ''σ'' of ''φ'' can be defined in a natural way: ~~''σ''(''a'') is ''φ''(''a'') restricted to the range of ''P''. So ''φ'' then can be expressed as a direct sum of two subrepresentations ''φ'' = ''φ' '' ⊕ ''σ''.~~

	~~Two representations ''φ''<sub>1</sub> and ''φ''<sub>2<~~/~~sub>, on ''H''<sub>1</sub> and ''H''<sub>2<~~/sub> respectively, are said to be '''unitarily equivalent''' if there exists an unitary operator ''U'': ''H''<sub>2</sub> → ''H''<sub>1</sub> such that ''φ''<sub>1</sub>(''a'')''U'' = ''Uφ''<sub>2</sub>(''a''), for every ''a''.

	~~In this setting, the '''Schröder–Bernstein theorem''' reads:~~

	~~:If two representations ''ρ'' and ''σ'', on Hilbert spaces ''H'' and ''G'' respectively, are each unitarily equivalent to a subrepresentation of the other, then they are unitarily equivalent~~.

	~~A proof that resembles the previous argument can be outlined~~. ~~The assumption implies that there exist surjective partial isometries from ''H'' to ''G'' and from ''G'' to ''H''. Fix two such partial isometries for the argument. One has~~

	~~:<math>\rho = \rho_1 \simeq \rho_1 ' \oplus \sigma_1 \quad \mbox{where} \quad \sigma_1 \simeq \sigma.<~~/~~math>~~

	~~In turn,~~

	~~:<math>\rho_1 \simeq \rho_1 ' \oplus (\sigma_1 ' \oplus \rho_2) \quad \mbox{where} \quad \rho_2 \simeq \rho .<~~/~~math>~~

	~~By induction,~~

	~~:<math>~~
	~~\rho_1 \simeq \rho_1 ' \oplus \sigma_1 ' \oplus \rho_2' \oplus \sigma_2 ' \cdots \simeq ( \oplus_{i \geq 1} \rho_i ' ) \oplus~~
	~~( \oplus_{i \geq 1} \sigma_i '),~~
	</~~math>~~

	~~and~~

	:~~<math>~~
	~~\sigma_1 \simeq \sigma_1 ' \oplus \rho_2' \oplus \sigma_2 ' \cdots \simeq ( \oplus_{i \geq 2} \rho_i ' ) \oplus~~
	~~( \oplus_{i \geq 1} \sigma_i ').~~
	</~~math>~~

	~~Now each additional summand in the direct sum expression is obtained using one of the two fixed partial isometries, so~~

	~~:<math>~~
	~~\rho_i ' \simeq \rho_j ' \quad \mbox{and} \quad \sigma_i ' \simeq \sigma_j ' \quad \mbox{for all} \quad i,j \;.~~
	</~~math>~~

	~~This proves the theorem~~.

	~~==See also==~~

	* [[Schroeder–Bernstein theorem]] for plain sets
	* [[Schroeder–Bernstein theorem for measurable spaces]]
	* [[Schröder–Bernstein theorems for Banach spaces]]
	* [[Schröder–Bernstein property]]

	~~==References==~~
	*B. Blackadar, ''Operator Algebras'', Springer, 2006.

	~~{{DEFAULTSORT:Schroder-Bernstein theorems for operator algebras}}~~
	~~[[Category:Von Neumann algebras]]~~
	~~[[Category:C*-algebras]~~]

en>Addbot: Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q4683171

2013-03-16T19:24:34Z

Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q4683171

← Older revision		Revision as of 21:24, 16 March 2013
Line 1:		Line 1:
	~~Friends call her Felicidad~~ and ~~her spouse doesn~~'~~t like~~ it ~~at all~~. ~~He currently lives in Idaho~~ and ~~his parents reside close by~~. The ~~thing I adore most flower arranging and~~ now ~~I have time to take~~ on ~~new things~~. ~~The job he~~'~~s been occupying~~ for ~~years~~ is a ~~messenger~~.<br><br>~~Have~~ a ~~look at my web page~~; ~~[http~~://~~beta~~.~~qnotes~~.co.~~kr/notice/3690 extended auto warranty~~]		The [[Cantor–Bernstein–Schroeder theorem]], from [[set theory]], has analogs in the context [[operator algebras]]. This article discusses such operator-algebraic results.

			== For von Neumann algebras ==
			Suppose '''M''' is a [[von Neumann algebra]] and ''E'', ''F'' are projections in '''M'''. Let ~ denote the [[Von Neumann algebra#Projections\|Murray-von Neumann equivalence relation]] on '''M'''. Define a partial order « on the family of projections by ''E'' « ''F'' if ''E'' ~ ''F' '' ≤ ''F''. In other words, ''E'' « ''F'' if there exists a partial isometry ''U'' ∈ '''M''' such that ''UU'' = ''E'' and ''UU'' ≤ ''F''.

			For closed subspaces ''M'' and ''N'' where projections ''P<sub>M</sub>'' and ''P<sub>N</sub>'', onto ''M'' and ''N'' respectively, are elements of '''M''', ''M'' « ''N'' if ''P<sub>M</sub>'' « ''P<sub>N</sub>''.

			The '''Schröder–Bernstein theorem''' states that if ''M'' « ''N'' and ''N'' « ''M'', then ''M'' ~ ''N''.

			A proof, one that is similar to a set-theoretic argument, can be sketched as follows. Colloquially, ''N'' « ''M'' means that ''N'' can be isometrically embedded in ''M''. So

			:<math>M = M_0 \supset N_0</math>

			where ''N''<sub>0</sub> is an isometric copy of ''N'' in ''M''. By assumption, it is also true that, ''N'', therefore ''N''<sub>0</sub>, contains an isometric copy ''M''<sub>1</sub> of ''M''. Therefore one can write

			:<math>M = M_0 \supset N_0 \supset M_1.</math>

			By induction,

			:<math>M = M_0 \supset N_0 \supset M_1 \supset N_1 \supset M_2 \supset N_2 \supset \cdots .</math>

			It is clear that

			:<math>R = \cap_{i \geq 0} M_i = \cap_{i \geq 0} N_i.</math>

			Let

			:<math>M \ominus N \stackrel{\mathrm{def}}{=} M \cap (N)^{\perp}.</math>

			So

			:<math>
			M = \oplus_{i \geq 0} ( M_i \ominus N_i ) \quad \oplus \quad \oplus_{j \geq 0} ( N_j \ominus M_{j+1}) \quad \oplus R
			</math>

			and

			:<math>
			N_0 = \oplus_{i \geq 1} ( M_i \ominus N_i ) \quad \oplus \quad \oplus_{j \geq 0} ( N_j \ominus M_{j+1}) \quad \oplus R.
			</math>

			Notice

			:<math>M_i \ominus N_i \sim M \ominus N \quad \mbox{for all} \quad i.</math>

			The theorem now follows from the countable additivity of ~.

			== Representations of C*-algebras ==
			There is also an analog of Schröder–Bernstein for representations of [[C-algebras]]. If ''A'' is a C-algebra, a '''[[Gelfand Naimark theorem\|representation]]''' of ''A'' is a *-homomorphism ''φ'' from ''A'' into ''L''(''H''), the bounded operators on some Hilbert space ''H''.

			If there exists a projection ''P'' in ''L''(''H'') where ''P'' ''φ''(''a'') = ''φ''(''a'') ''P'' for every ''a'' in ''A'', then a '''subrepresentation''' ''σ'' of ''φ'' can be defined in a natural way: ''σ''(''a'') is ''φ''(''a'') restricted to the range of ''P''. So ''φ'' then can be expressed as a direct sum of two subrepresentations ''φ'' = ''φ' '' ⊕ ''σ''.

			Two representations ''φ''<sub>1</sub> and ''φ''<sub>2</sub>, on ''H''<sub>1</sub> and ''H''<sub>2</sub> respectively, are said to be '''unitarily equivalent''' if there exists an unitary operator ''U'': ''H''<sub>2</sub> → ''H''<sub>1</sub> such that ''φ''<sub>1</sub>(''a'')''U'' = ''Uφ''<sub>2</sub>(''a''), for every ''a''.

			In this setting, the '''Schröder–Bernstein theorem''' reads:

			:If two representations ''ρ'' and ''σ'', on Hilbert spaces ''H'' and ''G'' respectively, are each unitarily equivalent to a subrepresentation of the other, then they are unitarily equivalent.

			A proof that resembles the previous argument can be outlined. The assumption implies that there exist surjective partial isometries from ''H'' to ''G'' and from ''G'' to ''H''. Fix two such partial isometries for the argument. One has

			:<math>\rho = \rho_1 \simeq \rho_1 ' \oplus \sigma_1 \quad \mbox{where} \quad \sigma_1 \simeq \sigma.</math>

			In turn,

			:<math>\rho_1 \simeq \rho_1 ' \oplus (\sigma_1 ' \oplus \rho_2) \quad \mbox{where} \quad \rho_2 \simeq \rho .</math>

			By induction,

			:<math>
			\rho_1 \simeq \rho_1 ' \oplus \sigma_1 ' \oplus \rho_2' \oplus \sigma_2 ' \cdots \simeq ( \oplus_{i \geq 1} \rho_i ' ) \oplus
			( \oplus_{i \geq 1} \sigma_i '),
			</math>

			and

			:<math>
			\sigma_1 \simeq \sigma_1 ' \oplus \rho_2' \oplus \sigma_2 ' \cdots \simeq ( \oplus_{i \geq 2} \rho_i ' ) \oplus
			( \oplus_{i \geq 1} \sigma_i ').
			</math>

			Now each additional summand in the direct sum expression is obtained using one of the two fixed partial isometries, so

			:<math>
			\rho_i ' \simeq \rho_j ' \quad \mbox{and} \quad \sigma_i ' \simeq \sigma_j ' \quad \mbox{for all} \quad i,j \;.
			</math>

			This proves the theorem.

			==See also==

			* [[Schroeder–Bernstein theorem]] for plain sets
			* [[Schroeder–Bernstein theorem for measurable spaces]]
			* [[Schröder–Bernstein theorems for Banach spaces]]
			* [[Schröder–Bernstein property]]

			==References==
			*B. Blackadar, ''Operator Algebras'', Springer, 2006.

			{{DEFAULTSORT:Schroder-Bernstein theorems for operator algebras}}
			[[Category:Von Neumann algebras]]
			[[Category:C*-algebras]]

93.194.44.170: typo corrected

2012-05-29T17:46:58Z

typo corrected

New page

Friends call her Felicidad and her spouse doesn't like it at all. He currently lives in Idaho and his parents reside close by. The thing I adore most flower arranging and now I have time to take on new things. The job he's been occupying for years is a messenger.<br><br>Have a look at my web page; [http://beta.qnotes.co.kr/notice/3690 extended auto warranty]