# Tagged Questions

For questions about approaches and techniques for discovering a proof, as opposed to writing it down clearly (which involves (proof-writing)). Should not be used unless the focus is on the technique of the proof instead of the solution.

62 views

### Help in proving a tautology

I am having real trouble deriving this tautology: $\forall(x) ((x=a) \lor (x\neq a))$ It is easy to solve this by assuming the negation, unpack the negation with DeMorgan's Law, and derive from ...
95 views

### Proof of infinite monkey theorem. [duplicate]

I was just wondering, does the infinte monkey theorem also has a proof? And why is this called a theorem? It is sheer common sense. And what are its applications. I have heard about PHP and IEP and I ...
61 views

### Construction of Natural Numbers

I am trying to prove that the natural numbers can be constructed from the product of a power of $2$ and an odd number. For all $n \neq 0$ in the natural numbers, $n = (2k+1)(2^p)$, where $k$ and $p$ ...
48 views

16 views

### Proving $\alpha\colon S\to T$ is one-to-one if $\alpha(A\cap B)=\alpha(A)\cap\alpha(B)$, where $A,B\subseteq S$

Prove that $\alpha\colon S\to T$ is one-to-one if $\alpha(A\cap B)=\alpha(A)\cap\alpha(B)$. Book solution: Assume that $\alpha(A\cap B)=\alpha(A)\cap\alpha(B)$ for every pair of subsets $A$ and ...
37 views

### Proving that if $S$ has an infinite subset then $S$ is infinite

Definition$\quad$ A set $S$ can be defined as infinite if there exists a mapping from $S$ to $S$ that is one-to-one but not onto. Otherwise, $S$ is finite. Problem: Using the definition of ...
42 views

### Nim Variant - Strong Induction Proof

Here we will play a variant of Nim where there is an additional move option in some cases. If two or more piles have the same number of stones, a player may remove the same number of stones from ...
326 views

### Lebesgue integration of simple functions

Define $f : [0,1] \to \Bbb R$ by $f(x) := 0$ if $x$ is rational, and $f(x) := d^2$ if $x$ is irrational, where $d$ is the first nonzero digit in the decimal expansion of $x$. Show that ...
29 views

### $n$ divides $a_1 - a_2$ as well as $b_1 - b_2$. Show that $n$ divides $a_1b_1 - a_2b_2$.

I keep arriving at $a_1b_1$ and $a_2b_2$ having the same sign if I multiply the equations $a_1 - a_2 = nk$ and $b_1 - b_2= np$ times each other. They must be opposite signs so that I can say that $n$ ...
19 views

8 views

### Riemann sum and partitions

If f is riemann integrable and if $(P_n)$ is any sequence of tagged partitions of [a,b] such that $\lVert P_n \rVert$ -> 0, prove that $\int_a^b f = lim_n S (f;P_n)$. I am confused as to how to ...
36 views

### Show an absolute minimum and positive/negative derivative of function

Let $f : \mathbb R \to \mathbb R$ be defined by $f(x) := 2x^4+x^4\sin(1/x)$ for $x \neq 0$ and $f(0) = 0$. Show that f has an absolute minimum at x = 0, but that its derivative has both positive and ...
47 views

40 views

### context-free languages operation closure

The following operation is defined on formal languages. $operation1(L) = \lbrace w \ | \ wxy \in L, \ \forall x \forall y \ (|x|=|w|) \ \wedge (|y| = |w| ) \rbrace$ Prove that context-free ...
How can I determine whether the set of all differentiable functions is countably infinite, finite or uncountable? I want to say it is equivalent to $\mathbb{N}$, so it is countable? And I know it is ...
How Should I prove that $\mathbb{Q} + i\mathbb{Q}$ is a countable set? I've already proven that $\mathbb{Q}$ is countable.