MHB Can These Mathematical Sets Be Considered Subspaces?

  • Thread starter Thread starter mathmari
  • Start date Start date
  • Tags Tags
    Sets Subspaces
mathmari
Gold Member
MHB
Messages
4,984
Reaction score
7
Hey! :o

We have the following subsets:
\begin{align*}&U_1:=\left \{\begin{pmatrix}x \\ y\end{pmatrix} \mid x^2+y^2\leq 4\right \} \subseteq \mathbb{R}^2\\ &U_2:=\left \{\begin{pmatrix}2a \\ -a\end{pmatrix} \mid a\in \mathbb{R}\right \} \subseteq \mathbb{R}^2 \\ &U_3:=\left \{\begin{pmatrix}x \\ y \\ z\end{pmatrix} \mid y=0\right \}\subseteq \mathbb{R}^3 \\ &U_4:=\left \{\begin{pmatrix}x \\ y \\ z\end{pmatrix} \mid y=1\right \}\subseteq \mathbb{R}^3\end{align*}

I want to sketch these sets and check in that way if these are subspaces. We have the following graphs:

  • $U_1$ :

    [DESMOS]advanced: {"version":7,"graph":{"squareAxes":false,"viewport":{"xmin":-5,"ymin":-5.5,"xmax":5,"ymax":5.5}},"expressions":{"list":[{"type":"expression","id":"graph1","color":"#2d70b3","latex":"x^{2\\ }+y^2\\ \\le\\ 4"}]}}[/DESMOS]

    This is a subspace, isn't it? But how can we explain that from the graph? (Wondering)

    $$$$
  • $U_2$ :

    [DESMOS]advanced: {"version":7,"graph":{"squareAxes":false,"viewport":{"xmin":-10,"ymin":-5.5,"xmax":10,"ymax":5.5}},"expressions":{"list":[{"type":"expression","id":"graph1","color":"#2d70b3","latex":"x=-2y"}]}}[/DESMOS]

    Since this line goes through the origin, it is a subspace, or not? (Wondering)

    $$$$
  • This is the $xz$ plane with $y=0$.

    This is a subspace, since the zero vector is contained, or not? (Wondering)

    $$$$
  • This is the $xz$ plane with $y=1$.

    This is not a subspace since the zero vector is not contained. Is that correct? (Wondering)
 
Physics news on Phys.org
mathmari said:
Hey! :o

We have the following subsets:
\begin{align*}&U_1:=\left \{\begin{pmatrix}x \\ y\end{pmatrix} \mid x^2+y^2\leq 4\right \} \subseteq \mathbb{R}^2\\ &U_2:=\left \{\begin{pmatrix}2a \\ -a\end{pmatrix} \mid a\in \mathbb{R}\right \} \subseteq \mathbb{R}^2 \\ &U_3:=\left \{\begin{pmatrix}x \\ y \\ z\end{pmatrix} \mid y=0\right \}\subseteq \mathbb{R}^3 \\ &U_4:=\left \{\begin{pmatrix}x \\ y \\ z\end{pmatrix} \mid y=1\right \}\subseteq \mathbb{R}^3\end{align*}

I want to sketch these sets and check in that way if these are subspaces. We have the following graphs:

  • $U_1$ :



    This is a subspace, isn't it? But how can we explain that from the graph? (Wondering)

    $$$$
  • $U_2$ :



    Since this line goes through the origin, it is a subspace, or not? (Wondering)

    $$$$
  • This is the $xz$ plane with $y=0$.

    This is a subspace, since the zero vector is contained, or not? (Wondering)

    $$$$
  • This is the $xz$ plane with $y=1$.

    This is not a subspace since the zero vector is not contained. Is that correct? (Wondering)
Your graph for the first one looks odd because your graph does not have the same size units on the two axes. The graph should be a circle, not an ellipse. As for "subspace", are you clear on what a subspace is? If u and v are in the space then u+ v and au, for a any number, must be in the space.

For the first one, u= (2, 0) is in the space but 2(2, 0)= (4, 0) is not.

For the second one we can write u= (2a, -a) and v= (2b, -b). Then u+ v= (2a+ 2b, -a- b)= (2(a+ b), -(a+ b)) so is also in the set. And for any number, x, x(2a, -a)= (2(xa), -(xa)) so is in the set. Yes, the origin, (0, 0)= (2(0), -0) is in the set. Geometrically a subspace of R2 is a line through the origin. The first example was not a line.

Yes, the third is the xz-plane. In R3, any subspace is either a line containing the origin or a plane containing the origin. This is a plane containing the origin. A proof that this is a subspace would be to take two such vectors as u= (a, 0, b) and v= (c, 0, d). Then u+ v= (a+c, 0, b+ d) which is in the set and, for x any number, xu= (xa, 0, xb), in the set.

Strictly speaking the last one is NOT "the xz-plane with y= 1". The "xz-plane" always has y= 0. This is a plane parallel to the xz-plane. You are right that this is not a subspace because it does not contain the origin. More specifically, u= (a, 1, b) is in the set but 2u= (2a, 2, 2b) is not.

You seem to be under that impression that a set is a subspace as long as it contains the origin. That is "necessary" condition, but is not "sufficient". A subspace of R2 must be a line containing the origin and a subspace of R3 must be a line or plane containing the origin.
 
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