hi already tried to prove it in my own way i would like to share my results hoping a mathematician somewhere could tell if I am right or wrong I think actually that the proof consists of 2 parts First part proof that $A \subseteq B$ implies $B’ \subseteq A’$ second part is the other […]

This question already has an answer here: elementary set theory (cartesian product and symmetric difference proof) 2 answers

This question already has an answer here: Prove $A = (A \setminus B) \cup (A \cap B)$ 3 answers

This question already has an answer here: Does the Symmetric difference operator define a group on the powerset of a set? 3 answers

I was recently introduced to partial order relation. Though I could understand the relation, I couldn’t grab the sense of the above quoted term used for the ordering of sequence(??) of subset. Can anyone help me clarify the concept with a intuitive example?

I was doodling around with some math today, trying to find “representations” for sets as cartesian products of their proper subsets. For example: $\mathbb{N}\leftrightarrow 2\mathbb{N}\times\{0,1\}$ $\mathbb{Z}\leftrightarrow 2\mathbb{Z}\times\{0,1\}$ $\mathbb{R}\leftrightarrow \mathbb{Z}\times[0,1)$ I’m thinking most ways to do this have to do with abstract algebra, using quotient structures times the respective substructure. But I was wondering given an […]

We know the Cartesian product of a finite number of $\mathbb{Z}^+$ is countable, for example, $\mathbb{Z}^+ \times \mathbb{Z}^+ \times \mathbb{Z}^+$, because, let $m, n, p$ be from each of the $\mathbb{Z}^+$, we can find a one-to-one function $2^m 3^n 5^p$ that maps them to a subset of $\mathbb{Z}^+$. But what if we increase the number […]

Let $A, B, C$ be sets. Construct a bijective function $F(C, A \times B)\to F(C ,A) \times F(C, B)$. Here, $F(C, A \times B)$ is the set of functions $f: C \to A \times B$. Could someone show me the way how to do this? What questions should I ask myself? I understand that $F(C, […]

I have few questions to the proof on Universality of linearly ordered sets. Could anyone advise please? Thank you. Lemma: Suppose $(A,<_{1})$ is a linearly ordered set and $(B,<_{2})$ is a dense linearly ordered set without end points. Assume $F\subseteq A$ and $E\subseteq B$ are finite and $h:F \to E$ is an isomorphism from $(F,<_{1})$ […]

I’m trying to prove that these two statements are equivalent. I’ve already proven that $f$ injective implies that $$f^{-1} \left(f(B)\right) = B$$ but I need to show that $$f^{-1} \left(f(B)\right) = B \Leftrightarrow f\left(\bigcap A_t\right)=\bigcap f\left(A_t\right). $$ Any advice would be greatly appreciated!

Intereting Posts

Give an example that $\overline{A \cap B} \neq \overline{A} \cap \overline{B}$
How does (ZFC-Infinity+“There is no infinite set”) compare with PA?
proof of$\frac{\partial^2 f(x,y)}{\partial x\partial y}$=$\frac{\partial^2 f(x,y)}{\partial y\partial x}$
Inductive proof that $(m!^n)n! \mid (mn)!$
If a rational function is real on the unit circle, what does that say about its roots and poles?
How to solve this integral: $\int_0^\infty x^a e^{-bx}dx$?
Proving a sequence is Cauchy given some qualities about the sequence
How to know if $\log_78 > \log_89$ without using a calculator?
Adriaan van Roomen's 45th degree equation in 1593
Indefinite Integral of $\sqrt{\sin x}$
If $f:\to \mathbb{R}$ is continuous and nonnegative and $\int_a^b{f}=0$, then $f(x)=0$ for all $x\in $
SOS: Proof of the AM-GM inequality
Jordan Canonical form
The origin is not in the convex hull $\Rightarrow$ the set lies in a hemisphere?
From a deterministic discrete process to a Markov chain: conditions?