# If an inner product is non-zero then both arguments are non-zero

Jump to: navigation, search
Stub grade: B
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
Review and demote

## Statement

Let [ilmath]((X,[/ilmath][ilmath]\mathbb{K} [/ilmath][ilmath]),\langle\cdot,\cdot\rangle)[/ilmath] be an inner product space, then:

• [ilmath]\forall x,y\in X[\langle x,y\rangle\neq 0\implies(x\neq 0\wedge y\neq 0)][/ilmath]

Warning:The converse does not hold: take [ilmath](1,0),\ (0,1)\in\mathbb{R}^2[/ilmath] and equip [ilmath]\mathbb{R}^2[/ilmath] with the dot-product (writing [ilmath]a\cdot b[/ilmath] as [ilmath]\langle a,b\rangle[/ilmath] though) we see:

[ilmath]\langle(1,0),(0,1)\rangle\eq 1\cdot 0+0\cdot 1\eq 0+0\eq 0[/ilmath], yet [ilmath](1,0)\neq 0[/ilmath] and [ilmath](0,1)\neq 0[/ilmath]. This demonstrates the [ilmath]\impliedby[/ilmath] direction cannot be.

## Proof

Grade: C
This page requires one or more proofs to be filled in, it is on a to-do list for being expanded with them.
Please note that this does not mean the content is unreliable. Unless there are any caveats mentioned below the statement comes from a reliable source. As always, Warnings and limitations will be clearly shown and possibly highlighted if very important (see template:Caution et al).
The message provided is:
Easy proof

This proof has been marked as an page requiring an easy proof