For questions related to orthonormality. A set of vectors in an inner product space is called orthonormal if each vector is a unit vector, and vectors are pairwise orthogonal.

learn more… | top users | synonyms

1
vote
4answers
44 views

Prove that $\|v \|^2= |\langle v, e_1 \rangle |^2 + \cdots + | \langle v, e_m\rangle |^2$

Suppose $(e_1,\cdots, e_m)$ is an orthonormal basis in $V$. Let $v \in V$ . Prove that $\|v\|^2= |\langle v, e_1 \rangle |^2 + \cdots + | \langle v, e_m\rangle |^2$ Let $v\in V$ and ...
0
votes
0answers
22 views

Applying orthogonality of Sines to this question. [on hold]

I have the equation: $$ \int\limits_0^1 \sin(3 \pi x)dx = \sum _{n=1}^{\infty }\beta _n \int\limits_0^1\sinh(n\pi) \sin(n\pi x)dx $$ And I want to solve for $\beta _n$? I looked at the solution on ...
0
votes
0answers
22 views

Any program that turns vectors to orthogonal? [on hold]

Are there any sites that can transform S(set of vectors) into an orthogonal basis for R^n? I want to know if I did my problem correctly and would like verification. my vector set is [1 ,2, -1][1, 3 ...
1
vote
3answers
19 views

Completing an orthonormal basis of a plane to a basis for $\mathbb{R}^3$

I was asked to find an orthonormal basis for the plane $x + 2y +3z =0$. I found a regular basis, $(-2,1,0),(-3,0,1)$, and then performed the Gram-Schmidt process to find 2 orthonormal vectors that ...
2
votes
1answer
29 views

Is there anyway to check I have an an orthogonal and/or orthonormal basis?

I'm reading about Gram-Schmidt procedure in 3 dimensions. From what I understand the idea is to "fix" one of the vectors and alter the other 2 so they are all perpendicular. So say i have three ...
0
votes
1answer
26 views

Prob. 4, Sec. 3.4 in Erwine Kreyszig's INTRODUCTORY FUNCTIONAL ANALYSIS WITH APPLICATIONS

Let $(e_n)$ be an orthonormal sequence in an inner product space $X$. Then, for every $x \in X$, we have $$ \sum_{n=1}^\infty \vert \langle x, e_n \rangle \vert^2 \ \leq \ \Vert x \Vert^2.$$ Now ...
0
votes
1answer
36 views

Prob. 3, Sec. 3.4 in Erwine Kreyszig's INTRODUCTORY FUNCTIONAL ANALYSIS WITH APPLICATIONS: How to derive the Schwarz inequality?

Let $\left( e_n \right)$ be an orthonormal sequence in an inner product space $X$. Then for every $x \in X$, we have $$ \sum_{n=1}^\infty \left\vert \langle x, e_n \rangle \right\vert^2 \ \leq \ ...
2
votes
0answers
27 views

Extend $(\frac{1}{2}, \frac{i}{2} ,\frac{-1}{2},\frac{-i}{2} )$ to an orthonormal basis for $\mathbb{C}^4$.

Consider $\mathbb{C}^4$ with the standard inner-product$ < , >$. Extend $(\frac{1}{2}, \frac{i}{2} ,\frac{-1}{2},\frac{-i}{2} )$ to an orthonormal basis for $\mathbb{C}^4$. How is this possible ...
0
votes
0answers
17 views

Maximally distant orthogonal matrices

I would like to construct a set of $k$ orthogonal matrices in $\mathbb{R}^{n \times n}$ with maximal summed pairwise distance (in terms of L2 operator norm). Any ideas? I am thinking of just doing ...
1
vote
2answers
31 views

Prove that a set is orthonormal on $L_2$

I would like to prove that the set of elements: \begin{equation} A_n(t)=\left\{\frac{1}{\sqrt{2\pi}}e^{int}\right\}_{n=-\infty}^{\infty} \end{equation} is an infinite orthonormal set, on space ...
1
vote
0answers
13 views

Show that an ONS $\{\phi_n\}$ is complete in $L^2(I)$ iff $\sum_{n=1}^\infty(\int_{[a,x]}\phi_n)^2=x-a$ for all $x\in I$.

Suppose $I=[a,b]$ is an interval of the line. Show that an ONS $\{\phi_n\}$ is complete in $L^2(I)$ iff $\sum_{n=1}^\infty(\int_{[a,x]}\phi_n)^2=x-a$ for all $x\in I$. My Work: If we suppose ...
0
votes
1answer
24 views

Planes And Lines

Given :Point $A(1,2,4)$ and plane $P: x-y+z+2=0$ How to find coordinates of point $A'$ the symmetric of point $A$ with respect to plane $P$
0
votes
2answers
27 views

Question about projecting vector onto Subspace

Consider subspace $S \in R^4$, spanned by the vectors: $v_1 = (1,0,-1,1)^T$ and $v_2 = (1,1,1,1)^T$. Let $v = (1,-1,-1,3)^T$. I want to find the projection of $v$ onto $S$; that is, find the ...
0
votes
1answer
40 views

Determining if this is an orthonormal set.

$p(x)\:=\:a+ax+ax^2$ and $q(x)\:=\:b+bx+bx^2$ are vectors in $P_2$ The inner product is the dot product: $$\langle p,q\rangle=a_0b_0+a_1b_1+a_2b_2$$ the set is: ...
0
votes
1answer
27 views

Is there some clever way of finding out this SVD?

I need to find the singular value decomposition of $$\pmatrix{a&-b&0\\b&a&-b\\0&b&a}$$ I already determined sigma to be: $$\Sigma = ...
0
votes
1answer
22 views

Fundamental Subspaces: Orthonormal Bases

In matlab, we are asked to set A=rand(5,2)*rand(2,5) then to set Q=orth(A), w=null(A'), S=[Q W] the matrix S should be orthogonal. Why? (I have no clue on how to answer this)
0
votes
1answer
18 views

Why does $A=UDU^H$ = $\lambda_1 u_1 u_1^H + \lambda_2 u_2 u_2^H$?

Just trying to figure out why this is true: $$A=UDU^H \quad\Leftrightarrow\quad A= \lambda_1u_1u_1^H + \lambda_2u_2u_2^H$$ $U$ is a unitary matrix composed of the eigenvectors of hermitian matrix A. ...
1
vote
1answer
31 views

Orthonormal and/or Orthogonal Basis of a Pair of Vectors

I was hoping someone could verify if this is the correct way to answer this problem: Let $\mathbb{R^{2}}$ have the standard dot product. Classify the following pair of vectors as (i) basis, (ii) ...
0
votes
0answers
21 views

Why is $||\vec{x}^\perp||^2=0 \,\forall\, \vec{x}\in \mathbb{R}^n$?

Consider the decomposition of $\vec{x} \in \mathbb{R}^n$ where $\vec{x}=\text{proj}_V\vec{x}+\vec{x}^\perp$. From Pythagoras, $||\vec{x}||^2=||\text{proj}_V\vec{x}||^2+||\vec{x}^\perp||^2$. It ...
0
votes
3answers
33 views

Gram-Schmidt Process and Orthogonal Components

Let the Gram-Schmidt process transform the vector system $(a_{1}, ..., a_{n})$ into the system $(b_{1}, ..., b_{n})$. Show that the vector $b_{k}$ is the orthogonal component of the vector $a_{k}$ ...
1
vote
2answers
52 views

Find orthonormal basis of $\mathbb{R}^3$ with a given span of two basis vectors

What is an orthonormal basis of $\mathbb{R}^3$ such that $\text{span }(\vec{u_1},\vec{u_2})=\left\{\begin{bmatrix}1\\2\\3\end{bmatrix},\begin{bmatrix}1\\1\\-1\end{bmatrix}\right\}$? I was thinking I ...
1
vote
1answer
35 views

How does equality in Bessel's Inequality prove an orthonormal complete sequence?

I've been searching around for an answer to this question on the web for some time, but I keep coming up short (it may very well be that I don't have the right terms to be searching with). In any ...
0
votes
4answers
70 views

Eigenvalues and Eigenspaces of a Projection

Let $P$ be the orthogonal projection onto a subspace $E \subset V$ ($V$ being an inner product space) with $\mathrm{dim(V)}=n$, $\mathrm{dim(E)}=r$. Obtain the eigenvalues and eigenspaces, along with ...
0
votes
1answer
16 views

Proving orthonormality of system by sum of fourier coefficients

Let $f\in L^2(\mathbb R)$. Prove the system $\{f(t-n)\}_{n\in\mathbb{Z}}$ is orthonormal if and only if $$\sum_{k\in\mathbb{Z}}|\hat{f}(\omega+2\pi k)|^2\equiv 1$$ I have no clue how to prove ...
0
votes
1answer
30 views

Among all unit vectors $\vec{u}=\scriptsize\begin{bmatrix}x\\y\\z\end{bmatrix} \in \mathbb{R}^3$ which one minimizes the sum $x+2y+3z$?

My first instinct, of course, was to use Lagrange multipliers, but I have to use linear algebra to solve this. How would I construct an orthonormal basis in this case? I'm not sure how to ...
4
votes
1answer
28 views

Finding a vector for an orthonormal basis after using gram-schmidt.

So I started with a basis for $P_3$ (polynomial of degree less than 3). $$\{1,x,x^2\}$$ which has inner product define as $$\langle p,q \rangle=p(-1)q(-1)+p(0)q(0)+p(1)q(1)$$ For this product I found ...
0
votes
1answer
84 views

Gram-Schmidt and Inner Product Spaces

Consider the matrix $A=\begin{pmatrix}2&1\\1&2\end{pmatrix}$. We define a new inner product over $\mathbb{R}^2$ given by $\langle\vec{v},\vec{w}\rangle=\vec{v}^T\cdot A\cdot \vec{w}$. Find ...
2
votes
2answers
35 views

Does $\langle Fv_j, Fv_j \rangle = \langle F^*v_j, F^*v_j \rangle$ imply that $F$ is normal?

Let $\{v_1, \ldots, v_n\}$ be an orthonormal basis of an inner product space $V$ and a linear $F:V\to V$ s.t. for all $j$: $$\langle Fv_j, Fv_j \rangle = \langle F^*v_j, F^*v_j \rangle.$$ Does it ...
0
votes
2answers
93 views

If $A$ is orthogonal and symmetric, there is an orthonormal basis consisting of eigenvectors of $A$

Let $A ∈ M(n, \mathbb{R})$ be an orthogonal symmetric matrix. Show that $\mathbb{R}^n$ has an orthonormal basis consisting of eigenvectors of $A$. What happens if $A$ is assumed to be only ...
1
vote
0answers
64 views

Eigen Decomposition

I have this expression, $W= U^TDU$ where $D$ is a diagonal matrix and U consists of orthonormal columns. $U$ and $D$ are not in the same dimensions. Say $U$ is $n\times m$ and $D$ is $n \times n$. ...
0
votes
1answer
16 views

Orthonormality of $\{1,\cos nt,\sin (n-a)t\}_{n\in\mathbb N}$.

We know that the system $$\{1,\cos nt,\sin nt\}_{n\in\mathbb N}$$ is orthonormal on $[0,2\pi]$ respect to $\frac{1}{\pi}\int_{0}^{2\pi} \cdot\ dt$. My question is: For what values of the parameter ...
1
vote
1answer
54 views

Big error in basis of tensor product space

Sorry I am currently somehow confused by the following: The Legendre polynomials $(P_l)$ form an ONB of $L^2(0,\pi)$ and the complex exponentials $(\frac{1}{\sqrt{2\pi}}e^{in \theta})_n$ form an ONB ...
1
vote
1answer
54 views

Showing an Operator is Well-Defined and Bounded

Let $\{e_n\}_{n \in \mathbb{N}}$ be an orthonormal system within $\ell^2$. Fix a sequence $\lambda = (\lambda_1, \ldots , \lambda_n , \ldots) \in \ell^{\infty}$ and define $ \displaystyle Tf = ...
4
votes
1answer
86 views

Interchange summation and differentiation for ONB

Let $f = \sum_{n=0}^{\infty} a_n e_n $ where $e_n$ are an ONB of $L^2[0,1].$ Now assume we have that $$\frac{d}{dx}e_n = \lambda_n e_n.$$ Assume $f \in H^1[0,1],$ so i.e. $||f'||_{L^2} < \infty$ ...
3
votes
1answer
34 views

$\langle f, \phi_n \rangle = 0 \implies f = 0$ is equivalent to the definition of orthonormal basis

Is there an "easy" way to see that if $\{\phi_n\}_{n=1}^\infty$ is a set of orthonormal functions in a Hilbert space then showing $\langle f, \phi_n \rangle = 0$ for all $n$ implies $f = 0$ is ...
0
votes
0answers
27 views

How to restrict an angle to a particular interval during iterative least squares inversion?

I have some data and I want to fit a model to it which is a function of 3 orthonormal eigenvectors, using damped iterative least squares inversion. My orthonormal eigenvectors A, B, and C are ...
1
vote
2answers
63 views

Do the statements hold in an inner product space over $\mathbb R$ as well?

Let $V$ be an $n$-dimensional inner product space over $\mathbb C$ and $f\in \mathcal L (V)$ normal. Show that: $f^2=f^3 \implies f=f^2 \implies f = f^*$ $f$ nilpotent $\implies f=0$ ...
0
votes
2answers
42 views

How can we recover $u$ from a Householder matrix?

Say, we have a Householder matrix $H$ (i.e. $H=H^T=H^{-1}$) and would like to find $u$ such that $$H=I-\frac{2}{u^Tu}uu^T.$$ Geometrically, it seems like a good idea to take some $x$ and try ...
-1
votes
2answers
40 views

linear algebra - orthonormal basis [closed]

Determine an orthonormal basis {e1, e2, e3} such that e1 is parallel to the vector u = (1, 2, -1). Can you please help me find the ON-basis ?
0
votes
2answers
28 views

Determine whether set forms an orthonormal basis

Consider the three vectors $x^{1} = (1/\sqrt2, 0, −1/\sqrt2)^T$ , $x^2 = (0, 1, 0)^T$ , $x^3 = (1/\sqrt2, 0, 1/\sqrt2)^T$. Does the set $A = {x^1, x^2, x^3}$ form an orthonormal basis of ...
0
votes
0answers
26 views

See if vector set is basis of space using Gram Schmidt process

I have a problem my teacher gave me and I can't find an answer. She gave me a set of 3 vectors, $$\begin{bmatrix} 1 \\ 0 \\ 1 \end{bmatrix} \begin{bmatrix} 7\\3\\1 \end{bmatrix} \begin{bmatrix} ...
0
votes
0answers
19 views

Orthogonality of continuous functions

Let $K(x,t)$ be a continuous kernel defined on $[0,1]\times [0,1]$ with an associated inverse kernel. Define a function $p(x,t)$ on $[0,1]\times [0,1]$ by $$p(x,t) = K(x,t) - \int_0^{t/2} ...
0
votes
1answer
55 views

Properties of Orthonormal Systems and Projections

Let $\{e_1, ... , e_n\}$ be a finite orthonormal system in an inner product space $(E, \langle \cdot , \cdot \rangle)$, let $F :=$ span$\{e_1, ... , e_n\}$ and let $P:E \to F$ be the orthogonal ...
0
votes
1answer
28 views

Rewrite an expression in terms of basis vectors

Given any vector k $\epsilon$ $R^{3}$ consider k= $\sum_{j=1}^{3}$ $c_{j}u_{j}$ where $u_{1}$,$u_{2}$,$u_{3}$ are the orthonormal basis vectors (I don't know how to make them bold sorry about that, ...
0
votes
0answers
45 views

In an infinite dimensional real inner-product space , can any non-null orthogonal set of vectors in the space can be extended to an orthogonal basis?

Let $V$ be an infinite dimensional real inner-product space , then is it true that any non-null orthogonal set of vectors in the space can be extended to an orthogonal basis ? Or at least is it true ...
1
vote
0answers
27 views

How to rewrite $PP^*$ in terms of sums of its column vectors?

$\begin{align} I & = & PP^* \\ & = & \begin{pmatrix} \bf{x_1} & \bf{x_2} &\dots & \bf{x_n} \end{pmatrix} \begin{pmatrix} \bf{x_1^*} \\ \bf{x_2^*} \\ \vdots \\ ...
0
votes
0answers
30 views

Give an example of a complete orthonormal sequence in L^2 ([ a, b]) for arbitrary a< b;

Give an example of a complete orthonormal sequence in L^2([ a, b]) for arbitrary a< b; I found an example of such But I can not prove its complet? Please advice?
0
votes
0answers
67 views

Find an orthonormal basis without Gram-Schmidt

Find an orthonormal basis for the subspace $ W = \text{span} \{(3, 0, 4, 0),(0, −2, 1, 0),(0, −3, 0, 1)\}$ of $\mathbb{R}^4$ Without using Gram-Schmidt process.
0
votes
0answers
36 views

Basis of $H^1(\Omega)$ which is orthonormal wrt. $L^2(\partial\Omega)$ inner product?

Let $\Omega$ be a domain with $\partial\Omega$ bounded. Is it possible to find a smooth basis of $H^1(\Omega)$ and $L^2(\Omega)$ which is orthonormal wrt. the $L^2(\partial\Omega)$ inner product? ...