PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] direct sum of even/odd functions (example) (Example)

Example. Direct sum of even and odd functions

Let us define the sets \begin{eqnarray*} F &=& \{ f\, |\, f\,\mbox{ is a function from}\, \sR\, \mbox{ to}\, \sR \}, \\ F_+ &=& \{ f\in F \,|\, f(x)=f(-x) \,\mbox{for all}\, x\in \sR\}, \\ F_- &=& \{ f\in F \,|\, f(x)=-f(-x)\,\mbox{for all}\, x\in \sR\}. \end{eqnarray*} In other words, $F$ contain all functions from $\sR$ to $\sR$ , $F_+\subset F$ contain all even functions, and $F_-\subset F$ contain all odd functions. All of these spaces have a natural vector space structure: for functions $f$ and $g$ we define $f+g$ as the function $x\mapsto f(x)+g(x)$ . Similarly, if $c$ is a real constant, then $cf$ is the function $x\mapsto cf(x)$ . With these operations, the zero vector is the mapping $x\mapsto 0$ .

We claim that $F$ is the direct sum of $F_+$ and $F_-$ , i.e., that \begin{eqnarray} \label{eq10} F &=& F_+ \oplus F_-. \end{eqnarray} To prove this claim, let us first note that $F_\pm$ are vector subspaces of $F$ . Second, given an arbitrary function $f$ in $F$ , we can define \begin{eqnarray*} f_+(x) &=& \frac{1}{2}\big( f(x) + f(-x) \big), \\ f_-(x) &=& \frac{1}{2}\big( f(x) - f(-x) \big). \end{eqnarray*}Now $f_+$ and $f_-$ are even and odd functions and $f=f_+ + f_-$ . Thus any function in $F$ can be split into two components $f_+$ and $f_-$ , such that $f_+ \in F_+$ and $f_-\in F_-$ . To show that the sum is direct, suppose $f$ is an element in $F_+\cap F_-$ . Then we have that $f(x)=-f(-x)=-f(x)$ , so $f(x)=0$ for all $x$ , i.e., $f$ is the zero vector in $F$ . We have established equation [*].




"direct sum of even/odd functions (example)" is owned by mathcam. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:

See Also: direct sum of Hermitian and skew-Hermitian matrices, sum and product and quotient of functions


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: equation, sum, components, vector subspaces, mapping, zero vector, operations, real, structure, vector space, odd functions, even functions, functions, contain, even and odd functions, direct sum
There is 1 reference to this entry.

This is version 3 of direct sum of even/odd functions (example), born on 2003-04-16, modified 2004-03-23.
Object id is 4191, canonical name is DirectSumOfEvenoddFunctionsExample.
Accessed 7751 times total.

Classification:
AMS MSC26A06 (Real functions :: Functions of one variable :: One-variable calculus)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)