Some technical questions about spans and bases

  • Thread starter Thread starter Bipolarity
  • Start date Start date
  • Tags Tags
    Bases
Bipolarity
Messages
773
Reaction score
2
I have some technical questions about spans and bases which my textbook really does not cover very well. I would appreciate answers to them. They are not textbook problems, merely specific quesitons relating to the definitions of "span" and "basis".

1) If span(S) = V, need the elements of S be in V?
2) If S is a basis for V, need the elements of S be in V?
3) If S spans V, does S span every subspace of V?
4) If S is a basis for V, is S a basis for every subspace of V?
5) If S is linearly independent, is every subset of S also linearly independent?
6) If S is linearly dependent, is every superset of S also linearly dependent?

If I am not wrong, the answers to the questions are:
1) Yes
2) Yes
3) Yes
4) No
5) Yes
6) Yes

But I would like explicit confirmation.
All help is appreciated. Thanks.

BiP
 
Physics news on Phys.org
All correct. For a strict mathematical formulation, you should let everything be a part of a vector space W (can be identical to V, but then questions 1 and 2 are meaningless).

3) If S spans V, does S span every subspace of V?
Yes
The span of S contains every subspace of V as subset.
 
I disagree about (3).

If S spans V and W is a subspace of V, then the elements of S may not all be in W, so "S spans W" might contradicts the (correct IMO) answer to (1).

Also the definition of "span" in http://en.wikipedia.org/wiki/Linear_span implies that there is only ONE space that is spanned by a given set S - namely, the intersection of all subspaces of V that contain (all the vectors in) S.
 
##\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...
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