Sin(2x) and sin(3x) are orthogonal to each other

  • Thread starter Thread starter SSSUNNN
  • Start date Start date
  • Tags Tags
    Orthogonal
SSSUNNN
Messages
3
Reaction score
0
Hi everybody,

I read that sin(2x) and sin(3x) are orthogonal to each other.

In general if I want to check if two functions are orthogonal or not I must integrate their product

First: why the integration of their multiplication (not their addition for example)?

Second: Orthogonal means Perpendicular. But I can't figure out how sin(2x) and sin(3x) are perpendicular

Thank you for your help
 
Physics news on Phys.org
Orthogonally is a generalization of vectors in \vec{v},\vec{w}\in\mathbb{R}^3 being perpendicular to each other. You might recall that if \vec{v}\cdot\vec{w}= 0 then the vectors \vec{v} and \vec{w} are perpendicular to each other. The dot product is also called an inner product and that space \mathbb{R}^3 is then called an inner product space.

The set of all continuous functions on the interval [a,b]\in\mathbb{R}, C[a,b] is also an inner product space where the inner product between two functions f,g\in C[a,b] is

\langle f,g \rangle =\int_a^b f(x)g(x)\,dx.

So if you consider the inner product space C[-\pi,\pi] then you can see that \sin(2x)and \sin(3x) are orthogonal.
 
where othogonal means exactly that the inner product is zero (and the vectors are not both zero). it doesn't mean that if you "drew" them they are necessarily at right angles.
 
The point of \langle f,g \rangle =\int_a^b f(x)g(x)\,dx. as "inner product" is that it corresponds to \langle(z_1,z_2,z_3),(y_1,y_2,y_3)\rangle= z_1y_1+ z_2y_2+ z_3y_3 for 3 dimensional vectors. Think of each x value as a "component" and the integral as summing.
 
you use product and not sum because it is a "product", i.e. a bilinear function.
 
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
Back
Top