Sorry if the title sounds convoluted, I couldn’t find any better. In $R^d$, let $(e_1,\ldots, e_d)$ be a basis. Show there exists $(a_1,\ldots, a_d)$ d vectors of $R^d$ such that $$\forall x \in R^d, x=\sum_{i=1}^{d} \langle x, e_i \rangle a_i $$ I tried to mimic the proof of Gram-Schmidt orthogonalization, but failed. After that, I […]

Let $f_1,f_2$ be two orthogonal non zero vectors that span a plane $\pi$. The projection of a vector $w$ onto the plane $\pi$ is given by $Proj_{\pi}(w)= $$\frac{w\cdot n}{f_1\cdot f_1}\cdot f_1 + \frac{w\cdot n}{f_2\cdot f_2}\cdot f_2$. Prove that the function $T : R^3 \to R^3$ defined by $T(w) = Proj_{\pi}(w) $ is a linear transformation. […]

So I am aware of the orthogonality between the Associated Legendre polynomials on the interval $[-1,1]$, that is: \begin{equation} \int_{-1}^{1}P^m_kP^m_ldx\propto\delta_{k,l} \end{equation} where $\delta_{k,l}$ is the kronecker delta function (I am only interested in the case where the upper indices of the Legendre polynomials are equal, but feel free to also discuss the opposite case as […]

Let $\mathcal{H}$ be a Hilbert space and \begin{align} f&\colon \mathcal{H} \to \mathbb{R}\\ f(x) &= ||x-c||_\mathcal{H} ^2 \end{align} from some constant $c \in \mathbb{H}$ Is the derivative of $f$ at $x$ equal $2x-2c$? I used \begin{align} f(x) &= \langle x,x \rangle – 2\langle x,c \rangle + \langle c,c \rangle \end{align} and the standard rules for derivation […]

I am also given that if $S$ and $T$ are subspaces of a vector field, then the above are equivalent

This question already has an answer here: An orthonormal set cannot be a basis in an infinite dimension vector space? 3 answers

Let $\mathbb K\in\left\{\mathbb C,\mathbb R\right\}$ $U$ and $V$ be $\mathbb K$-Hilbert spaces such that $U\subseteq V$ and that the inclusion $\iota$ is Hilbert-Schmidt $C:=\iota^\ast$ denote the adjoint of $\iota$ $(e_n)_{n\in\mathbb N}$ be an orthonormal basis of $U$ We can show that $$Cv=\sum_{n\in\mathbb N}\langle v,e_n\rangle_Ve_n\;\;\;\text{for all }v\in V\;.$$ How can we compute the square root $C^{1/2}$ […]

I am a little stuck on the following problem: By using the Gram-Schmidt Orthogonalization, find an orthonormal basis for the subspace of $L^2[0,1]$ spanned by $1,x, x^2, x^3$. OK, so I have defined: $$e_1 = 1$$ I would then assume that we proceed as follows: $$e_2 = x – \frac{\langle x,1 \rangle}{\langle 1,1 \rangle} \cdot […]

[Added by PLC: This question is a followup to this already answered question.] Keep the axioms for a real inner product (symmetry, linearity, and homogeneity). But make the fourth be $$\langle x,x \rangle = 0 \text{ if and only if } x = 0.$$ I want to prove that either $\langle x,x \rangle > 0$ […]

I have solved a question but I am not sure the last step of the question. If someone can verify it that would be great. Let $V$ be a finite dimensional vector space with complex inner product. Let $T: V \rightarrow V$ be a linear transformation. If $\forall v\in V$, $\|Tv\|=\|T^*v\|$ then $T$ is a […]

Intereting Posts

Example of a non-Noetherian complete local ring
A function vanishing at infinity is uniformly continuous
Change of limits in definite integration
Raise a power series to a fractional exponent?
question on left and right eigenvectors
Solving Special Function Equations Using Lie Symmetries
Specific problem on distribution theory.
Is “being an integral domain” a local property?
Closed form of $\int_0^1(\ln(1-x)\ln(1+x)\ln(x))^2\,dx$
Is there a counterpart of a base of a topology for a $\sigma$-algebra?
Why isn't this a well ordering of $\{A\subseteq\mathbb N\mid A\text{ is infinite}\}$?
Presheaf image of a monomorphism of sheaves is a sheaf
How to express $\sin \sqrt{a-ib} \sin \sqrt{a+ib}$ without imaginary unit?
When is an infinite product of natural numbers regularizable?
bounded sequence in $L^p(\mathbb{R}^n)$ that converges a.e.