Proof of relations involving function operators
120130
Baker-Hausdorff Lemma from Sakurai's book
125682
Proof verification: the product of two continuous functions is continuous
88535
Relation between the distance from a point to the resolvent set of a self-adjoint operator and the norm of a related operator
51302
Show that the operator norm is submultiplicative
93342
Show that $\neg$ and $\wedge$ form a functionally complete collection of logical operators.
32606
Is the operator $T((x_1,x_2,...,x_n))=(x_1,\frac{x_2}2,\frac{x_3}3,...)$ on $\ell^2$ self-adjoint and unitary
48291
Proof that $\mathrm{ker}(f^*) = \mathrm{im}(f)^{\perp} $
135694
Proving $\kappa^{\lambda} = |\{X: X \subseteq \kappa, |X|=\lambda\}|$
91947
Proof of $ f:I_n \rightarrow I_m \Rightarrow n = m$
156727
A step in the proof of Characterization of $W^{1,\infty}$
46669
How can I prove these are the adjoint operators?
136909
Functional Analysis: The rank of an operator detemines if it's a compact operator.
49759
Proving that $i\hbar\frac{\partial}{\partial \mathbf{p}}$ is the operator of $\mathbf{x}$ in momentum space
11509
Relationship between $\operatorname{ord}(ab), \operatorname{ord}(a)$, and $\operatorname{ord}(b)$
117533
$|A-\lambda I|$ and $|\lambda I-A|$
157426
Proving that:$\int_X f_n g \, d\mu \to \int_X fg \, d\mu$ for all $g$ in $\mathscr{L}^q (X)$
66951
Proving the existence of a sequence of functions converging to 0 with an added property