Given a unital C*-algebra $1\in\mathcal{A}$. Consider projections: $$P^2=P=P^*\quad P’^2=P’=P’^*$$ Order them by: $$P\leq P’:\iff\sigma(\Delta P)\geq0\quad(\Delta P:=P’-P)$$ Then equivalently: $$P\leq P’\iff P=PP’=P’P\iff\Delta P^2=\Delta P=\Delta P^*$$ How can I check this? (Operator algebraic proof?)

Let $H_1, H_2, \ldots, H_n$ be a countable family of Hilbert spaces. Let H be the set of tuples $x = (x_1, \ldots, x_n,\ldots)\in \prod_n H_n$ with the property that $$\|x \| ^2 =\sum_n \| x_n \| _{H_n}^2 <\infty.$$ Then H is also a Hilbert space. Prove that H is non-separable and determine an orthonormal […]

In the course on PDE’s I took this semester we talked a lot about the theory of Sobolev-spaces $W^{k, p}(\Omega)$ for $\Omega \subset \mathbf{R}^n$ an open set, $k \in \mathbf{N}$ and $1 \leq p \leq \infty$. But then we only used the Sobolev-spaces with $p = 2$ to deal with PDE’s, since we can use […]

Let $a=(a_n)$ with $a_n\in\mathbb{C}$ be a vector indexed over all $n\in\mathbb{Z}$, and consider the system of equations $\sum\limits_{-\infty}^\infty\overline{a_n}a_{n+k}=\delta_{k0}$ for all $k\in\mathbb{Z}$. One may verify this has a family of trivial solutions given by $a_n=\delta_{nm}$ for some nonzero integer $m$. Assuming $a_0=0$, are there any other solutions? This problem is inspired by (unsuccessful) attempts to find […]

This issue continues this question. Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators. Definition : Let $(e_{n})_{n \in \mathbb{N}}$ be an orthonormal basis. $T \in B(H)$ is banded if $\exists r \in \mathbb{N}$ such that $ (Te_{n}, e_{m})\ne 0 \Rightarrow \vert n-m \vert \leq r$. Definition : […]

Let $(X,\mathcal{A}, \mu)$ be an arbitrary measure space. Let $f$ be an extended complex-valued $\mathcal{A}-$measurable function on $X$ such that $|f|<\infty$ $\mu$-a.e. on $X$. Suppose that $fg\in L^1(X,\mathcal{A}, \mu)$ for every $g\in L^1(X,\mathcal{A}, \mu)$. Show that $f\in L^{\infty}(X,\mathcal{A}, \mu)$. Can anyone verify my answer? Does anyone know a better elementary approach? (It’ll be great if […]

I don’t know how should I start to show: If $A$ is an arbitrary abelian Banach algebra in which the idempotents have dense linear span, its specrum (the space of characters on $A$) is totally disconnected.

We define $ (\mathbb{R}^m, \|.\|)$ to be a finite dimensional normed vector space with $ \|.\|$ is defined to be any norm in $ \mathbb{R^m}$. Let $S = \lbrace x \in \mathbb{R}^m: \| x\| = 1 \rbrace.$ Prove that $S$ is compact in $ (\mathbb{R}^m, \|.\|).$

This question already has an answer here: Hahn-Banach Theorem for separable spaces without Zorn's Lemma 2 answers

Let $X_n$ and $X$ be random variables taking values in the metric space $(S,d)$. The sequence $(X_n)_n$ is convergent to $X$ in distribution (or weakly) if $E[f(X_n)] \to E[f(X)]$ for all $f:S\to R$ continuous and bounded. I read somewhere that it’s equivalent to consider only uniformly continuous and bounded $f$. Could you give me a […]

Intereting Posts

If N is elementary nilpotent matrix, show that N Transpose is similar to N
difference between linear transformation and its matrix representation .
Proof that every polynomial of odd degree has one real root
Prove that every positive semidefinite matrix has nonnegative eigenvalues
Why does $x^2+47y^2 = z^5$ involve solvable quintics?
To show for following sequence $\lim_{n \to \infty} a_n = 0$ where $a_n$ = $1.3.5 … (2n-1)\over 2.4.6…(2n)$
homomorphisms of $C^{\infty}(\mathbb R^{n})$
Uniformly continuous homeomorphism from open set to $\mathbb{R}^n$.
Show $\lim\limits_{n\rightarrow\infty}n\left(\frac{1}{n}\sum_{i=1}^{n}f\left(\frac{i}{n}\right)-\int_{0}^{1}f(x)dx\right)=\frac{f(1)-f(0)}{2}$
Distribution of Sum of Discrete Uniform Random Variables
Proving that $(3n)!$ is divisible by $n! \times (n + 1)! \times (n + 2)!$ if $n$ is greater than 2
is there any good resource for video lectures of differential geometry?
Structure Theorem for abelian torsion groups that are not finitely generated
When is it insufficient to treat the Dirac delta as an evaluation map?
Probability of two people meeting during a certain time.