Simple conceptual misunderstanding

  • Thread starter Thread starter jaydnul
  • Start date Start date
  • Tags Tags
    Conceptual
jaydnul
Messages
558
Reaction score
15
How can, for example, M_2(R) have four dimensions? What I mean is how can a 2x2 matrix be considered a vector? Also how can the set of solutions to a linear differential equation be a set of vectors? Or are these examples supposed to be the idea of vector spaces applied outside the realm of actual vectors? Because vector spaces are introduced in the book as being abstract but up until now, I've thought they were pretty concrete. Is this where the idea of vector spaces becomes abstract?
 
Physics news on Phys.org
Jd0g33 said:
How can, for example, M_2(R) have four dimensions? What I mean is how can a 2x2 matrix be considered a vector? Also how can the set of solutions to a linear differential equation be a set of vectors? Or are these examples supposed to be the idea of vector spaces applied outside the realm of actual vectors? Because vector spaces are introduced in the book as being abstract but up until now, I've thought they were pretty concrete. Is this where the idea of vector spaces becomes abstract?

A vector is anything that belongs to a vector space. Your text should have a definition for the axioms that must be satisfied for a vector space. One of the basic ideas is that if u and v are vectors in the vector space, then u + v is also in that space. If k is a constant, then ku is in that vector space. We say that the vector space is closed under vector addition and scalar multiplication.

Since there are four entries in a 2X2 matrix, it can be considered to be similar to a vector in R4.

A function space is defined in almost the same way as a vector space. If f1 and f2 are solutions of a differential equation, then f1 + f2 will also be a solution of that diff. equation, as will k*f1.
 
Tell me if this is a correct statement:

Almost all vector spaces are abstract other than ℝ^0, ℝ^1, ℝ^2, ℝ^3. We use the rules we have learned to be true for these vector spaces, and apply them to more abstract problems, like the set of solutions to a differential equation?

Thanks for the help btw!
 
I'm learning too. But here is my two cents. Vectors are abstract entities over a field (i.e. real numbers) and that satisfy certain axioms likely to be mentioned in your book. There is nothing different between a list of 4 numbers arranged in 1 row of 4 columns as opposed to a list of 4 numbers arranged in 2 rows of 2 columns when considered as vectors within a vector space. They obey the axioms. Furthermore, there is a 1-1 and onto mapping between the two by mapping the linear list into 2 rows, 2 columns. You still need ((1,0),(0,0))((0,1),(0,0))((0,0),(1,0))((0,0),(0,1)) to span the space as you would in a space spanned by vectors of the forms (1,0,0,0)(0,1,0,0)(0,0,1,0)(0,0,0,1). That is why your space is 4 dimensional.

I think you may be hung up on the visual representation of a vector as a list of number when that is just the most natural way to represent it for us to grasp it intuitively and most common applications of vector spaces are of that nature since it is usually real numbers that we are interested rather than exotic entities (unless I suppose you are into mathematics more advanced than I'm familiar with).
 
##\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