Tomek Kania

903
Reputation
1203 views
Is this your account?

Registered User 

Name Tomek Kania
Member for 2 years
Seen 3 hours ago
Website
Location United Kingdom
Age
5h
comment Why don’t more mathematicians improve Wikipedia articles?
Hi Mark. It's nice to see people from our department here :-)
May
15
awarded  Yearling
May
8
comment How long can it take to generate a $\sigma$-algebra?
Do you mean Theorem 9.2 here: math.wisc.edu/~miller/res/dstfor.pdf ? Well, it does not say anything about $\sigma$-completeness.
Apr
19
comment Can nuclearity be determined by tensoring with a single C*-algebra?
Just out of curiosity, is there a known example of a non-nuclear $C*$-algebra $A$ with a unique C*-norm on $A\odot A$?
Apr
18
comment isomophism, commutator
I must admit I don't quite understand the question but perhaps this might be helpful to you. For $X$ being the James space or $X=C[0,\omega_1]$ there is a unique trace $\tau$ on $B(X)$. Hence $\tau$ is centre-valued and kills all the commutators. Obviously, the kernel of $\tau$ has codimension one in $B(X)$. Also, every Banach-algebra isomorphism $B(X)\to B(X)$ is implemented by an isomorphism $V$ on the Banach-space level. Thus, $\psi(T) = V^{-1}TV$.
Mar
14
answered How identify bounded Borel measurable functions
Mar
13
comment B(H) as a direct sum of a closed two sided ideal and a subalgebra
@Bill, under Martin's axiom and failure of CH, we have $2^{\omega} = 2^{\omega_1}$, I am afraid.
Mar
12
comment B(H) as a direct sum of a closed two sided ideal and a subalgebra
@Bill, I agree that it requires some justification. To do this, one can tweak the argument for the fact that there is no 1-1 operator form $\ell_\infty(\omega_1)$ to $\ell_\infty^{\omega_1}(\kappa)$. I am sorry for just pointing a reference but today I have no time for going into more details. Of course, I am very curious about your proof!
Mar
12
revised B(H) as a direct sum of a closed two sided ideal and a subalgebra
modification
Mar
12
revised B(H) as a direct sum of a closed two sided ideal and a subalgebra
links
Mar
12
revised B(H) as a direct sum of a closed two sided ideal and a subalgebra
clarification
Mar
12
revised B(H) as a direct sum of a closed two sided ideal and a subalgebra
dr
Mar
12
revised B(H) as a direct sum of a closed two sided ideal and a subalgebra
presentation
Mar
12
comment B(H) as a direct sum of a closed two sided ideal and a subalgebra
Thank you, Bill. I hope my answer is now fairly complete.
Mar
12
revised B(H) as a direct sum of a closed two sided ideal and a subalgebra
+1
Mar
12
revised B(H) as a direct sum of a closed two sided ideal and a subalgebra
type
Mar
12
answered B(H) as a direct sum of a closed two sided ideal and a subalgebra
Mar
11
comment zero-dimensional completely regular space with $\sigma$-complete clopen algebra
Have you looked on M.H. Stone, Boundedness properties in function-lattices, Canadian Math. Soc. 1 (1949), 176-186? cms.math.ca/cjm/v1/cjm1949v01.0176-0186.pdf
Mar
9
awarded  Nice Answer
Mar
7
revised Is there an editors checklist for mathematics?
typo
Mar
7
answered Is there an editors checklist for mathematics?
Jan
4
comment Existence of model of ZF without AC, but with many choice function
Thanks for this.
Jan
4
comment Nuclear Space problem
@Koushnik, these facts are probably due to Dixmier; they employ the Radon-Nikodym theorem in a very clever way. A good source of knowledge about $C(K)^{**}$ is the paper of H. G. Dales, A. T.-M. Lau and D. Strauss, Second duals of measure algebras, Dissertationes Math. 481 (2012). Of course, there are more C*-algebraic ways to prove nuclearity of $C(X)$, though this one is my favourite.
Jan
4
comment Existence of model of ZF without AC, but with many choice function
Just out of curiosity, assuming $ZF+AD$ is consistent, is $ZF+AD$ consistent with "there exists a well-orderable uncountable subset of $[0,1]$?
Jan
4
comment Nuclear Space problem
He is talking about en.wikipedia.org/wiki/Nuclear_C*-algebra
Jan
4
comment Nuclear Space problem
For $X$ compact and Hausdorff, $C(X)^{**}$ is *-isomorphic to some algebra of the form $L_\infty(\mu)$, which as a Banach space, is 1-complemented in any superspace. In particular, it is 1-complemented in the algebra $\mathscr{B}(L_2(\mu))$ (it is identified with the subalgebra of multiplication operators by elements from $L_\infty(\mu)$), hence it is an injective von Neumann algebra. This implies that $C(X)$ is nuclear.
Dec
28
comment Extending complete filters
So, might it happen that "there are no strongly comapct cardinals" is a theorem of ZFC?
Dec
28
comment Extending complete filters
Do we know whether Con(ZFC) implies Con(ZFC + there is a strongly compact cardinal)?
Dec
28
comment Extending complete filters
Actually, this counts as an answer since the filter I am dealing with is rather mysterious and, consequently, I have no chance for a "painless" extension, by the above.
Dec
28
revised Extending complete filters
+1
Dec
28
asked Extending complete filters