Null subspace of a single vector

  • Thread starter Thread starter vix_cse
  • Start date Start date
  • Tags Tags
    Subspace Vector
vix_cse
Messages
7
Reaction score
0
Hi:

was wondering if somebody can help me with this I came across in a paper.

$e_k$ is a vector of $k$ $1's. M is a matrix of size n \times k. The author talks about projecting $M$ onto the null space of $e_k$. This is what confuses me. Which $x$ apart from the 0-vector solves e_kx=0.

any help will be appreciated.
 
Physics news on Phys.org
If k = 2, then x = [1 -1]^T solves e_2^T x = 0.
 
I was a bit confused by your reference to "the null space of ek". A vector does not have a "null space", a matrix (or linear transformation) has a "null space". But then, reading doodle's response, it became clear that what you really mean was "orthogonal complement": the set of all vectors whose dot product with ek is 0. The orthogonal complement of a vector in n dimensional space is an n-1 dimensional space.

It might help to think of the situation in 3 dimensions, with an x,y,z, Cartesian coordinate system. The vector e1, the unit vector pointing along the x-axis, has orthogonal complement equal to the yz-plane, the set of all vectors of the form (0,y,z).
 
Last edited by a moderator:
$e_k$ is a vector of $k$ $1's.
It sounds more like e_k is a 1xk matrix of 1's.
 
thanks all for your replies. yeah, it does make sense if i think of it as hallsofivy pointed out : the set of all vectors whose dot product with ek is 0.

this is how the author gets to the part in the paper

Z is a n-by-n projection matrix satisfying Z^2 = Z. e is the same as i mentioned.

define Z1 = Z - (1/n) e*transpose(e)

It is easy to see that Z1 represents the projection of the matrix Z onto the null subspace of e.

I couldn't figure out how it was so easy.

thanks.
 
I am still confused. As hallsofivy mentioned, the null subspace of e is a set of vectors. By stating that "Z1 represents the projection of the matrix Z onto the null subspace of e.", Z1 should be vectors. But Z1 is matrix. Can anyone explain this? Thanks.
 
Thread 'Determine whether ##125## is a unit in ##\mathbb{Z_471}##'
This is the question, I understand the concept, in ##\mathbb{Z_n}## an element is a is a unit if and only if gcd( a,n) =1. My understanding of backwards substitution, ... i have using Euclidean algorithm, ##471 = 3⋅121 + 108## ##121 = 1⋅108 + 13## ##108 =8⋅13+4## ##13=3⋅4+1## ##4=4⋅1+0## using back-substitution, ##1=13-3⋅4## ##=(121-1⋅108)-3(108-8⋅13)## ... ##= 121-(471-3⋅121)-3⋅471+9⋅121+24⋅121-24(471-3⋅121## ##=121-471+3⋅121-3⋅471+9⋅121+24⋅121-24⋅471+72⋅121##...
##\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...
Back
Top