Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 8176

Banach spaces, function spaces, real functions, integral transforms, theory of distributions, measure theory.

1 vote

Characterisation of positive elements in l¹(Z)

There are four facts which clarify things a little bit: 1) The inclusion $\ell^1 {\mathbb Z} \subset C(S^1)$ preserves the spectrum. (That is Wiener's Theorem) 2) If $f = \sum_i a_i z^{i}\in \ell^1 …
Andreas Thom's user avatar
  • 25.5k
7 votes

Does this C*-algebra embed into a simple nuclear C*-algebra?

There is an exact sequence $$ 0 \to \oplus_n M_n(\mathbb C) \to A \to \mathcal K \to 0.$$ Thus, $A$ is nuclear as an extension of nuclear $C^*$-algebras, see vor example $IV.3.1.3$ in [Bruce Blackadar …
Andreas Thom's user avatar
  • 25.5k
6 votes

Gelfand theory Problem

The Gel'fand spectrum of $\ell^1 \mathbb N$ is indeed the closed unit disc. After all, every functional to $\mathbb C$, must be given by sending the generator to some complex number. It is easy to see …
Andreas Thom's user avatar
  • 25.5k
6 votes

Idiosyncratic characterizations of $\ell^p$, for $p\not=1,2,\infty$

The following theorem is due to Plotkin and Rudin and characterizes $p \neq 2,4,6,\dots.$ Theorem: (Plotkin-Rudin): Let $0< p< \infty$ and $p \neq 2,4,6,\dots$. Let $(\Omega,\mu)$ and $(\Omega',\nu)$ …
Andreas Thom's user avatar
  • 25.5k
8 votes
Accepted

non-Identity operator on a separable Hilbert space

The answer is yes, this is true (assuming that the Hilbert space is complex). If $\langle \xi,A\xi \rangle = \sigma$ for some $\sigma \in \mathbb C$ and all $\xi$, then $B:=A - \bar \sigma 1_H$ has t …
Andreas Thom's user avatar
  • 25.5k
8 votes
1 answer
610 views

Is the set of exponentials open?

Let $A$ be a $C^*$-algebra or some norm-closed algebra of operators on a Hilbert space. In the old paper Hille, E. On Roots and Logarithms of Elements of a Complex Banach Algebra, Math. Annalen, B …
Andreas Thom's user avatar
  • 25.5k
33 votes
0 answers
1k views

Subalgebras of von Neumann algebras

In the late 70s, Cuntz and Behncke had a paper H. Behncke and J. Cuntz, Local Completeness of Operator Algebras, Proceedings of the American Mathematical Society, Vol. 62, No. 1 (Jan., 1977), pp. 95 …
Andreas Thom's user avatar
  • 25.5k
9 votes
Accepted

Is there a nice "minimum" of two symmetric operators?

Let $P=\left[\begin{matrix} 1 & 0 \\ 0 & 0 \end{matrix}\right]$ and $Q(\phi)=\left[\begin{matrix} \cos^2(\phi) & \cos(\phi)\sin(\phi) \\ \cos(\phi)\sin(\phi) & \sin^2(\phi) \end{matrix}\right]$. Then …
Andreas Thom's user avatar
  • 25.5k
4 votes

Kuiper's theorem via approximation

This is not an answer but too long for a comment. It was shown in Popa, S. and Takesaki,M., The Topological Structure of the Unitary and Automorphism Groups of a Factor, Commun. Math. Phys. 155, 93- …
Andreas Thom's user avatar
  • 25.5k
7 votes
Accepted

Do separable $C^*$-algebras form a set?

It is not so clear what you mean. However, every separable $C^\ast$-algebra embeds in $B(\ell^2 \mathbb N)$. Hence, the isomorphism classes of separable $C^\ast$-algebras form a set.
Andreas Thom's user avatar
  • 25.5k
1 vote

Commutative *-subrings of the noncommutative C*-algebra $B(l^2)$

A unital $*$-ring $A$ (commutative or not) is a subring of $B(H)$ if and only if for each $a \in A$, there exists a linear functional $\varphi \colon A \to \mathbb R$, such that 1) $\varphi(1)=1$ and …
Andreas Thom's user avatar
  • 25.5k
0 votes

Commutative *-subrings of the noncommutative C*-algebra $B(l^2)$

Let $A$ be a (say finitely generated, unital) commutative complex $\star$-subalgebra of $B(H)$. Then, the self-adjoint elements form a real subalgebra $B:=A_h \subset A$, such that $B[i] = A$. Moroeve …
Andreas Thom's user avatar
  • 25.5k
13 votes
1 answer
402 views

Self map of unitary group

Let $H$ be a Hilbert space and let $u_1 \in U(H)$ be a unitary operator on $H$. Consider the self-map $w: U(H) \to U(H)$ which is given by $$w(v) := v^2 u_1 v^{-1}.$$ Since $U(H)$ is connected, there …
Andreas Thom's user avatar
  • 25.5k
14 votes

Is $SU(\infty)$ amenable?

The answer is that $G=SU(\infty)$ (with the direct limit topology of the usual Hilbert-Schmidt topologies) is extremely amenable. This means (by definition) that every continuous action of $G$ on a co …
Andreas Thom's user avatar
  • 25.5k
6 votes

Invariant means on the integers

You can look at $\mathbb N \subset \mathbb Z$. Then the Beurling densities conincide (and give $1/2$) whereas the invariant measure $$\mu(A) = \lim_{n \to \omega}\frac{|A \cap \{1,\dots,n\}|}n$$ gives …
Andreas Thom's user avatar
  • 25.5k

15 30 50 per page