Prove that the quotient space R^n / U is isomorphic to the subspace W

In summary, the conversation discusses the concepts of matrix, linear map, solution set, and set of vectors. The solution set is equal to the kernel of the matrix A, while the set W is equivalent to the image of A. The isomorphism theorem states that the image of A is isomorphic to the quotient space of R^n over the kernel of A.
  • #1
toni07
25
0
Let A be an m x n matrix with entries in R. Let T_A : R^n -> R^m be the linear map T_A(X) = A_X. Let U be the solution set of the homogeneous linear system A_X = O. Let W be the set of all vectors Y such that Y = A_X for some X in R^n. I don't really know what I'm supposed to do here, any help would be greatly appreciated.
 
Physics news on Phys.org
  • #2
crypt50 said:
Let A be an m x n matrix with entries in R. Let T_A : R^n -> R^m be the linear map T_A(X) = A_X. Let U be the solution set of the homogeneous linear system A_X = O. Let W be the set of all vectors Y such that Y = A_X for some X in R^n. I don't really know what I'm supposed to do here, any help would be greatly appreciated.

Hi crypt50! :)

Let's get our definitions straight:
\begin{aligned}
U &= \text{Ker } A \\
W &= \text{Im } A
\end{aligned}

According to the isomorphism theorem (see e.g. wiki), $\text{Im }A$ is isomorphic with the quotient space $\mathbb R^n / \text{Ker }A$.$\qquad \blacksquare$
 

Related to Prove that the quotient space R^n / U is isomorphic to the subspace W

1. What is a quotient space?

A quotient space is a mathematical concept that arises in the field of linear algebra. It is the set of all possible cosets of a given vector space modulo a specific subspace. In simpler terms, it is the set of all possible ways to divide a vector space into smaller subspaces.

2. What is U in the context of this statement?

In this statement, U refers to a specific subspace of the vector space R^n. This subspace is used to create the quotient space R^n/U.

3. How is isomorphism defined in this context?

In this context, isomorphism refers to a bijective linear transformation between two vector spaces. This means that there is a one-to-one correspondence between the elements of the two vector spaces, and the linear structure and operations are preserved.

4. What does it mean for two spaces to be isomorphic?

When two spaces are isomorphic, it means that they are essentially the same, in the sense that they have the same structure and properties. In the context of this statement, it means that the quotient space R^n/U has the same structure and properties as the subspace W.

5. How is the isomorphism between R^n/U and W proven?

The isomorphism between R^n/U and W is proven by showing that there exists a bijective linear transformation between the two spaces. This can be done by constructing a specific linear transformation that maps the elements of R^n/U to the elements of W, and then showing that this transformation is bijective.

Similar threads

  • Linear and Abstract Algebra
Replies
6
Views
960
  • Linear and Abstract Algebra
Replies
10
Views
2K
  • Linear and Abstract Algebra
Replies
9
Views
1K
  • Linear and Abstract Algebra
Replies
3
Views
1K
  • Linear and Abstract Algebra
Replies
1
Views
823
  • Linear and Abstract Algebra
Replies
4
Views
961
  • Linear and Abstract Algebra
Replies
4
Views
853
  • Linear and Abstract Algebra
Replies
8
Views
1K
  • Linear and Abstract Algebra
Replies
19
Views
4K
  • Linear and Abstract Algebra
Replies
7
Views
386
Back
Top