MHB Finding a Basis for a Linear Subspace Orthogonal to a Given Point P in R^3

JWS1
Messages
2
Reaction score
0
I have a given point (vector) P in R^3 and a 2-dimensional linear subspace S (a plane) which consists of all elements of R^3 orthogonal to P.
The point P itself is element of S.

So I can write

P' ( x - P ) = 0

to characterize all such points x in R^3 orthogonal to P. P' means the transpose of P.

My problem is to find a basis of S. This basis should depend on point P.

I tried to find such a basis (alpha,beta) using the parameter form of the plane

x = P + alpha u + beta v

but I am unable to find two vectors u and v orthogonal to P.

I expect that this problem should be easy but I am nevertheless unable to solve it :(

Please help me a bit.
 
Physics news on Phys.org
Technically a "point" is not a "vector" but, yes, given a point, $p= (x_0, y_0, z_0)$ we can assign to to it the vector from (0, 0 0) to p, $<x_0, y_0, z_0>$. If <x, y, z> is orthogonal to that vector then $xx_0+ yy_0+ zz_0= 0$ so, solving for z, $z= \frac{xx_0+ yy_0}{z_0}$ (this is assuming $z_0\ne 0$. If it is choose to solve for x or y instead. If all three of $x_0$, $y_0$, and $z_0$, this is the zero vector and all vectors are orthogonal to it.)

Letting x= 0, $\left<0, y, \frac{y_0}{z_0}y\right>$ and taking y= 0, $\left<x, 0, \frac{x_0}{z_0}x\right>$.

Those two vectors are orthogonal to p. You should be able to show that they are independent and so a basis for the subspace. Choosing a value for y in the first and a value for x in the second gives vectors of specific length. They can be chosen so that the vectors have length one.
 
Thanks for your reply - it helped me out of my blockade.
I was too fixed at the implicit characterisation of orthogonal points to P by the equation

P' ( x - P ) = 0.

You are right, exept a typo in the sign for z in your formula.

Points or vectors, that is an old discussion. "Vectors" are often used in physics and "points" are often used in math.
As you know in math a "vector space" consists of some set with an additional algebraic structure. His elements (for example real numbers
complex numbers or integrable functions) are often called points.
 
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...
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...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top