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 answers only not deleted user 13650

A Hilbert space $H$ is a real or complex vector space endowed with an inner product such that $H$ is a complete metric space when endowed with the norm induced by this inner product.

7 votes
Accepted

Hilbert-irreducible Banach space

In other words, a (real) Banach space $X$ is Hilbert irreducible iff it has no $2$-dimensional subspace isometric to $\mathbb R^2$ with the Euclidean norm. In $M_n(\mathbb R)$, the subspace $Y$ consi …
Robert Israel's user avatar
6 votes
Accepted

When are two operators simultaneously diagonalisable?

Even one positive definite operator on an infinite-dimensional Hilbert space need not have any eigenvectors at all: it might have continuous spectrum. The more general statement is the Spectral Theor …
Robert Israel's user avatar
7 votes
Accepted

If $A$ is a closed operator, is $A^k$ closed?

Here's a counterexample (subject perhaps to what you consider "natural"). Take a separable Hilbert space with orthonormal basis $\{u_n : n = 1, 2, \ldots\}$ and the operator $A$ defined by $$ A u_n = …
Robert Israel's user avatar
5 votes
Accepted

Current status of computable spectral theorem and interpretation of quantum mechanics

I think the point is this. It is impossible in general to decide computationally whether two computable real numbers $\alpha$ and $\beta$ are equal. If in fact they are not equal, by computing suff …
Robert Israel's user avatar
2 votes

Point spectrum of a positive invertible operator

Suppose $G$ is abelian. Presumably the measure being used is Haar measure. $T_f$ is unitarily equivalent (via the Fourier transform) to multiplication by $\widehat{f}$ on $L^2(\widehat{G})$. This h …
Robert Israel's user avatar
8 votes
Accepted

Fredholmness of formal selfadjoint operator $AA^*$ and Fredholmenss of $A$

Consider $H = L^2[0,\infty)$ with $(,) = \langle,\rangle$, $A: H \to H$ the shift operator $A f(t) = f(t+1)$, so that $$ A^* f(t) = \cases{f(t-1) & if $t \ge 1$\cr 0 & otherwise\cr …
Robert Israel's user avatar
6 votes

On the domains and extensions of unbounded operators

Yes, of course. By definition of the adjoint operator, $\{[-A^* y, y]: y \in \mathscr D(A^*)\}$ is the orthogonal complement in $H \oplus H$ of the graph $\{[x, Ax]: x \in \mathscr D(A)\}$ of $A$. …
Robert Israel's user avatar