Give an example of a function $g$ which is injective, but for which its composition with $f$ is not, namely $g\circ f$. I suspect that $f(x)=0$ and $g(x)=x$ will do, am I right?

Let $(x,\le)$ be well-ordered set and let $f: \ x \rightarrow x$ be monotonically increasing function. Prove that $\forall a \in x$ $$a \le f(a)$$ Find an example of set $x$ linearly ordered such that the statement doesn’t hold. My try: Assume $X=\{a \in x \ : \ a \ge f(a) \}$ is non-empty set […]

$$A \cap B \subseteq A$$ My first step would be to write it as $(x \in A \land x \in B) \subseteq A$. Then I know by the following implication that is always true $P \land Q \implies P$. But I am not sure how to write it down mathematically correct. $$A \subseteq A \cup […]

Let the function $F: On \rightarrow On$ be defined by the following recursion: $F(0) = \aleph_0$ $F(\alpha+1) = 2^{F(\alpha)}$ (cardinal exponentiation) $F(\lambda) = \sup\{F(\alpha):\alpha \in \lambda\}$ for $\lambda$ a limit ordinal Prove that there is a fixed point for $F$, i.e. an ordinal $\kappa$ with $F(\kappa) = \kappa$. Are such fixed points always cardinals? Thoughts: […]

My goal here is to find a bijection from $\mathbb{Z} \to \mathbb{Z} \times \mathbb{Z}$ (this is letting $0 \in \mathbb{Z}$ Here’s what I have so far: Let $$A = \{ x^2 – x \mid x \in \mathbb{Z} \} $$ and let $g: \mathbb{Z} \to \mathbb{Z}$, $g(x) = a \in A$, $a$ is the greatest element […]

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 […]

This question is from S C Kleene’s Introduction to Metamathematics, page 38: If we prescribe as admissible elements of sets (a) $\varnothing$ and (b) arbitrary sets whose members are admissible elements, so that sets have only sets as members, then when $M$ is the set of all sets, $ P(M)=M$. (Here $P(X)$ is power set […]

For each formula $\phi$ without $Y$ free, the universal closure of the following is an axiom: $\forall x\in A \exists !y \phi(x,y) \Longrightarrow \exists Y \forall x\in A \exists y\in Y \phi(x,y)$ My question is about the $!$, does that mean that $y$ is bound in $\phi$? What does the exclamation mark mean? Is it […]

Let $A$ be a nonempty subset of $\omega$, the set of natural numbers. If $\bigcup A=A$ then $A=\omega$. I have proved ‘$\bigcup n^+ = n$ for any $n\in\omega$’ and ‘$\bigcup\omega = \omega$’ I think this question should be proved with the above results.. Help please

Find the $\bigcap_{n = 1}^{\infty} (-\frac{1}{n}, \frac{2}{n})$ So the way I understand it is that I’m trying to find $(\frac{-1}{1}, \frac{2}{1}) \bigcap (\frac{-1}{2}, \frac{2}{2}) \bigcap (\frac{-1}{3}, \frac{2}{3})\bigcap …$ and so forth. Then the intersection would be $\varnothing$ right? Can I prove this by just writing out the first few elements and seeing that they do […]

Intereting Posts

Points on a plane and triangle
Faithful irreducible representations of cyclic and dihedral groups over finite fields
Maclaurin series for a function
Spectral Measures: Spectral Spaces (I)
Why Not Define $0/0$ To Be $0$?
How do we prove $\int_I\int_x^1\frac{1}{t}f(t)\text{ dt}\text{ dx}=\int_If(x)\text{ dx}$
Double integral. Polar coordinates
Is Completeness intrinsic to a space?
Limit of $L^p$ norm when $p\to0$
Solving $ {\ell}_{1} $ Regularized Least Squares Over Complex Domain
Constructing a quotient ring in GAP using structure constants
Is the following scheme for generating $p_n=(1/3)^n$ stable or not. $p_n=(5/6)p_{n-1}-(1/6)p_{n-2}$.
Is it possible to solve $i^2+i+1\equiv 0\pmod{2^p-1}$ in general?
Different types of domains $\Omega \subset \mathbb{R}^n$ in PDEs
Proof that $\mathbb{Z}$ has no zero divisors