Applying Cauchy-Schwarz to a sum(Have I understood this correctly?)

[Cauchy1789]

Homework Statement

Given the vectorspace consisting of a realvalued sequences \{x_j\} where \sum_{j=1}^{\infty} x_j^2 < \infty. Show that M the vectorspace has an innerproduct given by

\langle \{x_j\}, \{y_j\}\rangle = \sum_{j=1}^\infty x_j \cdot y_j

Homework Equations

Since \{x_j\} defines every possible vector component in M, then isn't that equal to that the square sum of every possible realvalued vectorcomponent of the M can be written as \sum_{j=1}^{\infty} x_j^2 \leq \infty (\mathrm{max} |x_j|)^2 = \infty, j = 1, \ldots, \infty.?

The Attempt at a Solution

All possible vector of either \{x_j\}or \{y_j\} are considered to be real valued, thus the definition of the inner product from Linear Algebra is true, hence by condition (1) of the innerproduct

\langle \{x_j\} \cdot \{x_j\} \rangle = x_j ^2 and thus the innerproduct of every component in either x or y can be written as

\langle {x_j \} \cdot \{y_j \} \rangle = x_j \cdot y_j, j = 1, \ldots, \infty

Have I covered all what is required of me in showing the above?

Sincerely
Cauchy

 

[HallsofIvy]

Homework Statement

Given the vectorspace consisting of a realvalued sequences \{x_j\} where \sum_{j=1}^{\infty} x_j^2 < \infty. Show that M the vectorspace has an innerproduct given by

\langle \{x_j\}, \{y_j\}\rangle = \sum_{j=1}^\infty x_j \cdot y_j

Homework Equations

Since \{x_j\} defines every possible vector component in M, then isn't that equal to that the square sum of every possible realvalued vectorcomponent of the M can be written as \sum_{j=1}^{\infty} x_j^2 \leq \infty (\mathrm{max} |x_j|)^2 = \infty, j = 1, \ldots, \infty.?

Why would you say that? You are given that the sum is finite. Why would you then prove that sum is either finite or infinite?:

The Attempt at a Solution

All possible vector of either \{x_j\}or \{y_j\} are considered to be real valued, thus the definition of the inner product from Linear Algebra is true, hence by condition (1) of the innerproduct

I don't know what you mean by this. An inner product is an operator, it is neither true nor false. If you mean the conditions defining an inner product are satisfied, you should show them individually, not just assert it.

\langle \{x_j\} \cdot \{x_j\} \rangle = x_j ^2 and thus the innerproduct of every component in either x or y can be written as

\langle {x_j \} \cdot \{y_j \} \rangle = x_j \cdot y_j, j = 1, \ldots, \infty

I have no idea what you are trying to say here. It makes no sense to talk about "the innerproduct of every component". Components are numbers, not vectors and so have no innerproduct.

Have I covered all what is required of me in showing the above?

Sincerely
Cauchy

Have you shown that, if \sum_{j=1}^{\infty} x_j^2 &lt; \infty and \sum_{j=1}^{\infty} y_j^2 &lt; \infty, then \sum_{j=1}^{\infty} x_j^2 &amp;lt; \infty?<br /> <br /> Have you shown that \langle {x_i}, {y_i}\rangle= \sum_{j=1}^{\infty} x_j^2 &amp;lt; \infty satisfies the conditions for an inner product?

 

[Cauchy1789]

Why would you say that? You are given that the sum is finite. Why would you then prove that sum is either finite or infinite?:

I was simply trying to understand why this sum of squared elements of the series {x_j}
is put into the assigment? And why its less than infinity? I understand that maybe this square respresents that the inner product between elements in the above series.
Isn't the series the same as \langle x_j, x_j \rangle = \sum_{j=1}^{\infty} x_j^2 = \| x \| ^2 \leq \infty \cdot (\mathrm{max}_{j=1}^{\infty}|x_j|) ^2 = \cdots ? \cdots &lt; \infty? Don't I need to understand what should be placed at the questionmark in order to understand how show that the Vectorspace M has an definable innerproduct the sequences x_j and y_j?
Because connection between the sum of sequared real numbers of x_j and the inner product isn't that that my teacher is applying the first definition of inner product of Vectorspace? and then its my job to show that if the above definition hold then to show that definition part 2 and part 3 of the inner product also holds?

I have no idea what you are trying to say here. It makes no sense to talk about "the innerproduct of every component". Components are numbers, not vectors and so have no innerproduct.

What I was trying to say here is that the "component's" be elements of the sequences

x_j and y_j.

Have you shown that, if \sum_{j=1}^{\infty} x_j^2 &lt; \infty and \sum_{j=1}^{\infty} y_j^2 &lt; \infty, then \sum_{j=1}^{\infty} x_j^2 &lt; \infty?

Have you shown that \langle {x_i}, {y_i}\rangle= \sum_{j=1}^{\infty} x_j^2 &lt; \infty satisfies the conditions for an inner product?

Because if that is true then \langle \{x_j\}, \{x_j\} \rangle = \sum_{j =1}^{\infty} x_j^2 = x_1 \cdot x_1 + x_2 \cdot x_2 + \cdots + x_\infty \cdot x_\infty &lt; \infty

I will try to go to that :) But its possible to give me a hint on why this sum is less than infinity?

Because a vectorspace M where the above is happening can that be found other place than in sequenced Hilbert spaces? But is that key understand why \sum x_j &lt; \infty where j = 1,\ldots, \infty

Best Regards
Cauchy