Intereting Posts

Show that the set $M$ is not an Embedded submanifold
Let $A$ be maximal among abelian normal subgroups of a $p$-group and show that $A=C_P(A)$
Suppose that G is a finite, nonabelian group with odd order. Show s is surjective, and hence bijective
Group of order $p^2+p $ is not simple
Find a positive integer $n$ such that $ϕ(n) = ϕ(n + 1) = ϕ(n + 2)$
Convergence of series involving iterated $ \sin $
Euler's transformation to derive that $\sum\limits_{n=1}^{\infty}\frac{1}{n^2}=\sum\limits_{n=1}^{\infty}\frac{3}{n^2\binom{2n}{n}}$
If we have an embedding $f:X \rightarrow A$, where $A \subset Y$, do we have to show $f^{-1}$ is continuous?
Boundedness condition of Minkowski's Theorem
Fermat's 2 Square-Like Results from Minkowski Lattice Proofs
In how many ways can $1000000$ be expressed as a product of five distinct positive integers?
Prove that if $7^n-3^n$ is divisible by $n>1$, then $n$ must be even.
$\frac{\partial f_i}{x_j}=\frac{\partial f_j}{x_i}\implies(f_1,\ldots,f_n)$ is a gradient
Extended ideals and algebraic sets
If $|G|=p^nq$, then $G$ contains a unique normal subgroup of index $q$

I have a doubt about working with equivalence classes and quotient sets. The definition that I know, is that given an equivalence relation $\sim$ on a set $A$, the set of all elements of $A$ equivalent to a certain element $x$ is the set $\left[x\right]\subset A$ which is called the equivalence class of $x$. The set of all equivalence classes is then the set $A/\sim$ called quotient set.

Well, I understand this. However I’m a bit confused when working with this, because the set $A/\sim$ is a set of sets right? So if $x \in A/\sim$, $x$ is not an element of $A$ but one entire collection of such elements. However, there’re texts that it seems that the author is thinking of $x \in A/\sim$ as just and element of $A$.

For instance: in the context of manifolds, when defining tangent vector as equivalence classes of curves, one doesn’t think of an element of the tangent space as a set of curves. Or on the context of multilinear algebra, we define the tensor product of vector spaces using one quotient, but we don’t think of the elements as sets of vectors.

- Intersection distributing over an infinite union, union over an infinite intersection
- cardinality of a set of natural lattice points versus natural numbers
- How to apply the recursion theorem in practice?
- Set notation confusion (Empty Sets)
- How to prove $ A \cup \{a\} \approx B \cup \{ b \} \Rightarrow A \approx B $
- Is an ultrafilter free if and only if it contains the cofinite filter?

I’ve heard that “we think of an element $x \in A/\sim$ as an element subjected to the relation $\sim$”, however, we are thinking of $x$ related to what element of $A$ ? I really didn’t get the way that we should work/think about equivalence classes and quotient sets.

Thanks in advance for your help, and sorry if the question is to silly.

- $A \subset C$ implies $A \cap C \subset B \cap C$
- Infinite Cartesian product of countable sets is uncountable
- Problems with the definition of transitive relation
- Cardinality of a $\mathbb Q$ basis for $\mathbb C$, assuming the continuum hypothesis
- Proof that the symmetric difference is associative
- Construct a bijection from $\mathbb{R}$ to $\mathbb{R}\setminus S$, where $S$ is countable
- Which set is unwell-orderable?
- What does P in blackboard bold type of letter stand for? ℙ?
- Why does $\bigcap_{m = 1}^\infty ( \bigcup_{n = m}^\infty A_n)$ mean limsup of sequence of set?
- Why is $|Y^{\emptyset}|=1$ but $|\emptyset^Y|=0$ where $Y\neq \emptyset$

Usually when you talk about an equivalence class in a quotient set, you refer to it by using a representative, i.e. an element of that class. For example, consider $\Bbb Z/n\Bbb Z$, the integers modulo $n$. This is defined as a set of sets, but usually you just identify it with $\{0,\dotsc,n-1\}$.

It might be (and usually this is the case) that all elementary mathematical objects are, in fact, sets. For example take the real line $\mathbb R$. You know that $\pi$ is an element of $\mathbb R$. But in many assiomatization $\pi$ is itself an equivalence class (namely the set of all sequences of rational numbers converging to it). This might sound strange but doesn’t change our imagination of $\pi$ being a number or a point in the real line.

Actually it might be that *all* mathematical objects are sets. For example one can define natural numbers as $0=\{\}, 1=\{0\}, 2=\{0,1\}\dots$

- How does intuition fail for higher dimensions?
- Selecting n matches from two pockets.
- Order of elements in $Z_n$
- Proof that plane with $N$ lines can be painted with two colors so that any two neighboring regions are painted in different colors
- $x,y,z \geqslant 0$, $x+y^2+z^3=1$, prove $x^2y+y^2z+z^2x < \frac12$
- Gaussian Curvature K > 0
- Learning to think categorically (localization of rings and modules)
- Properties of special rectangle (measure)
- Why does a convex set have the same interior points as its closure?
- Powers of $x$ as members of Galois Field and their representation as remainders
- Stieltjes Integral meaning.
- Maximum of $x^3+y^3+z^3$ with $x+y+z=3$
- Prove $P_m X P_n$ is Hamiltonian if and only if at least one of $m,n$ is even
- Find the co-ordinates of the point on the join of two points which is nearest to the intersection of two planes
- Prove that any function can be represented as a sum of two injections