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!

Please just don’t present a proof, see my reasoning below I need to find the sup and inf of this set: $$A = \{\frac{n+1}{n}, n\in \mathbb{N}\} = \{2, \frac{3}{2}, \frac{4}{3}, \frac{5}{4}, \cdots\}$$ Well, we can see that: $$\frac{n+1}{n} = 1+\frac{1}{n} > 1$$ Therefore, $1$ is a lower bound for $A$, however I still need to […]

So my brain is frazzled which is probably why this seems like a big deal to me right now, but I just can’t get over this reasoning: Suppose you have $$F = \{\text{all } 1\text{-}1, \text{increasing functions } \Bbb N \to \Bbb N\}$$ $1$-$1$: means that every value of the domain maps to some unique […]

I’m stuck on Exercise 5.2.1 of Goldblatt’s “Topoi: A Categorial Analysis of Logic“: Given a function $f:A\to B$, if $h\circ g: A\twoheadrightarrow C\rightarrowtail B$ and $h’\circ g’: A\twoheadrightarrow C’\rightarrowtail B$ are two different epic-monic factorisations of $f$ (i.e. $f=h\circ g=h’\circ g’$), then there exists a unique $k:C\to C’$ such that commutes, and furthermore $k$ is […]

Assuming AC we know that all $\beth_\alpha$’s will be $\aleph_\beta$ for some $\beta$ since they can be well ordered. Can anything interesting be said about their relationship without AC? Is it possibly consistent that with the exception of $\beth_0$ none of the $\beth$’s can be well-ordered?

Intereting Posts

Divergent or not series?
Number of ordered pairs of coprime integers from $1$ to $N$
Local optimality of a KKT point.
Is the ring of germs of $C^\infty$ functions at $0$ Noetherian?
Is there a standard way to compute $\lim\limits_{n\to\infty}(\frac{n!}{n^n})^{1/n}$?
Suppose that $P(x)$ is a polynomial of degree $n$ such that $P(k)=\dfrac{k}{k+1}$ for $k=0,1,\ldots,n$. Find the value of $P(n+1)$
Let $Z\sim N(0,1)$ be a random variable, then $E$ is?
Computing $\int_C \frac{8e^{iz}}{ z^2+i} dz,$ where $C = \{z \in \mathbb{C} : |z| = 3\}$.
Counting necklace with no adjacent beads are of the same color
Proof of strictly increasing nature of $y(x)=x^{x^{x^{\ldots}}}$ on $[1,e^{\frac{1}{e}})$?
A smooth function's domain of being non-analytic
Relative compactness of metric space
Classify the compact abelian Lie groups
$\sum a_n$ converges $\implies\ \sum a_n^2$ converges?
General solution to wave equation of half-line with nonhomogeneous Neumann boundary