Intereting Posts

Find a polynomial of degree > 0 in $\mathbb Z_4$ that is a unit.
Proving a scalar function is differentiable at the origin but that its partial derivatives are not continuous at that point.
Answer Says $\lim_{(x,y)\rightarrow(0,0)}\frac{x^3y^2}{x^4+y^6} = 0$. I say DNE. What did I do wrong?
Proof that SAT is NPC
How do you evaluate this limit? $\lim\limits_{x\to-\infty}\frac{2x^5+x^2}{\sqrt{2x^{10}+x^2}}$
Rotating an $n$-dimensional hyperplane
Show that all groups of order 48 are solvable
Find K values that make a differential equation solution stable
Proof of Stirling's Formula using Trapezoid rule and Wallis Product
The preorder of countable order types
The formula for a distance between two point on Riemannian manifold
Order preserve after taking expectation “piecewisely”
Noetherian integral domain such that $m/m^2$ is a one-dimensional vector space over $A/m$
Is every element of a group an element of a Sylow p-subgroup of that group?
Beta function derivation

Let $W_1$ and $W_2$ be subspaces of a finite dimensional inner product space space. Prove that $$(W_1 \cap W_2)^\perp=W_1^\perp + W_2^\perp $$

**My Try**

One direction is easy : Let $\alpha \neq 0$ and $\alpha \in W_1^\perp + W_2^\perp$, i.e. $\alpha$ can be written as $\alpha = \beta + \gamma$ such that $\beta \in W_1^\perp$ and $\gamma \in W_2^\perp$, hence $(\beta|\eta)=0$ for all $\eta \in W_1 $ and $(\gamma|\delta)=0$ for all $\delta \in W_2 $. Now for all $\eta \in W_1 \cap W_2$ it is clear that $(\alpha | \eta) =0$ . hence

$$(W_1 \cap W_2)^\perp\supset W_1^\perp + W_2^\perp $$

For proving the other containment, let $\alpha \neq 0$ and $\alpha \in (W_1 \cap W_2)^\perp$, it means that for all $\beta \in W_1 \cap W_2$, $(\alpha|\beta)=0$. Hence $\alpha \in V \setminus (W_1 \cap W_2) = V \setminus (W_1) \cup V \setminus (W_2)$. Hence $\alpha \in W_1^c$ or $\alpha \in W_2^c$. WLOG suppose $\alpha \in W_1^c$. We also have that $$V=(W_1 ) \oplus (W_1 )^\perp$$therefore $\alpha = \eta + \delta $ where $\eta \in W_1$ and $\delta \in W_1^\perp$ and indeed $\delta \neq 0$. From here I have to somehow show that $\eta=0$, but I am stuck in here…

- Fourier coefficients of the product of two functions
- Prove that $T$ is an orthogonal projection
- Prove projection is self adjoint if and only if kernel and image are orthogonal complements
- Why does cross product give a vector which is perpendicular to a plane
- Characterisation of inner products preserved by an automorphism
- Is Cross Product Defined on Vector Space?

I already appreciate any help

- Alternative definition of the determinant of a square matrix and its advantages?
- How do I prove that $\det A= \det A^t$?
- Matrices that are not diagonal or triangular, whose eigenvalues are the diagonal elements
- Determine the values of $k$ so that the following linear system has unique, infinite and no solutions.
- Are there two different ways to generalize the orthogonal group?
- Dot product of two vectors
- A basis for the dual space of $V$
- Jordan decomposition of an endomorphism with minimal polynomial
- The link between vectors spaces ($L^2(-\pi, \pi$) and fourier series
- Inverse of Symmetric Matrix Plus Diagonal Matrix if Square Matrix's Inverse Is Known

Some relevant facts are (1) that if $W$ is a closed subspace, then $W^{\bot \bot} = W$, and (2) if $W \subset X$, then $X^\bot \subset W^\bot$, and (3)

finite dimensional subspaces are always closed (and so (1) applies).

You have shown one direction, you wish to show that

$(W_1 \cap W_2)^\bot\subset W_1^\bot + W_2^\bot$.

Because of the above facts, this is equivalent to showing $W_1 \cap W_2 \supset (W_1^\bot + W_2^\bot)^\bot$.

So, suppose that $x \in (W_1^\bot + W_2^\bot)^\bot$. This means that

$\langle x,w_1’+w_2’\rangle = 0$ whenever $w_k’ \in W_k^\bot$, $k=1,2$.

In particular, we have $\langle x,w_1’\rangle = 0$ for all $w_1′ \in W_1^\bot$, and so

$x \in W_1^{\bot\bot} = W_1$. Similarly, we have $x \in W_2$. And so, $x \in W_1 \cap W_2$.

It is not hard to see that $(W_1+W_2)^\perp=W_1^\perp\cap W_2^\perp$. Try to prove that if you haven’t already. A proof can be found here.

Since the spaces are finite dimensional, $(W_i^\perp)^\perp=W_i$ for $i=1,2$. Then using these two facts, observe

$$

(W_1\cap W_2)^\perp=((W_1^\perp)^\perp\cap (W_2^\perp)^\perp)^\perp=((W_1^\perp+W_2^\perp)^\perp)^\perp=W_1^\perp+W_2^\perp.

$$

- Need a unique convergence (UC) space's Alexandrov extension be a UC space?
- How do you find the angle of circle segment formed with points (x,y) and (radius,0)?
- Axiomatic Definition of a Category
- why symmetric matrices are diagonalizable?
- Hom is a left-exact functor
- line equidistant from two sets in the plane
- finding inverse of $x\bmod y$
- Naturality of the pullback connection
- Definition of e
- What is shortcut to this contest algebra problem about polynomial?
- Is a morphism between schemes of finite type over a field closed if it induces a closed map between varieties?
- Create unique number from 2 numbers
- Irreducible Polynomials: How many elements are in E?
- Irrational solutions to some equations in two variables
- Bounded operators with prescribed range