For questions about the formulation of a proof, not about the mathematics behind it.

learn more… | top users | synonyms

2
votes
2answers
74 views

Lebesgue outer Measure of a face of rectangle in $\Bbb R^{n}$

Show that the outer measure of a face $I_1 \times \dots \times I_{i-1} \times \{a\} \times I_{i+1} \times \dots \times I_n$ of a rectangle $I_1 \times \dots \times I_n \subset \Bbb R^{n}$ is zero. ...
1
vote
4answers
82 views

Prove $(2n + 1) + (2n + 3) + \cdots + (4n - 1) = 3n^2$ by induction

This might be an easy problem for you, but I am having difficulties in understanding the formula. As we can see, we have a pattern $$2n + \text{odd number}$$ in $$(2n + 1) + (2n + 3) + \cdots + (...
0
votes
2answers
47 views

Do I have the right start for this proof?

I'm trying to prove the following, Suppose R is a partial order on $A$, $B\subseteq A$, and $b\in B$. Prove that if $b$ is the smallest element of $B$, then it is also the greatest lower ...
0
votes
1answer
89 views

Prove $(-x)y=-(xy)$ using axioms of real numbers

Working on proof writing, and I need to prove $$(-x)y=-(xy)$$ using the axioms of the real numbers. I know that this is equivalent to saying that the additive inverse of $xy$ is $(-x)y$ but I am ...
1
vote
1answer
91 views

Bounding the edges belonging to no perfect matching

We are told to let $G = (X \cup Y, E)$ be a bipartite graph with $|X|=|Y|=n$, and to suppose that $G$ has a perfect matching. I am trying to find a way to prove that $G$ has at most $n \choose 2$ ...
-1
votes
2answers
40 views

Proof of factor.

If $m$ and $n$ are two positive integers, prove that $x+5$ is the factor for $(x+b)^{n} + (x+4)^{2m+1}$ How to write a proof on this ?
1
vote
3answers
49 views

Prove by induction $n^2 \leq n!$ for $n\geq 4$.

I managed to get $P(4):4^2 = 16 \geq 24 = 4!$ But then assuming $n^2 \geq n!, \forall n\geq4\in\mathbb{Z}$, I need to prove $(n+1)^2 \geq (n+1)!$ I tried $n^2+2n+1\geq n!\cdot (n+1)$, but I got ...
2
votes
2answers
89 views

T/F: $\forall \epsilon , \exists \delta \gt 0$ s.t. $\left| f(x)-f(a) \right| \lt \epsilon \implies \left| x-a \right| \lt \delta $

Here's the question: Is the following true or false? There is a function $f: \mathbb R \to \mathbb R$ that satisfies the following condition: For every $a \in \mathbb R $ and $ \epsilon \gt 0 $ ...
0
votes
1answer
45 views

Proof that polynom $P:\mathbb{R}^n\to\mathbb{R}$ is continuous

Could you tell me some webpages or books where I can find the proof that polynom $P:\mathbb{R}^n\to\mathbb{R}$ is continuous. I know how it can proof if $P:\mathbb{R}\to\mathbb{R}$, but I don't know ...
1
vote
1answer
51 views

Use the principle of mathematical induction to prove that $n \lt (\frac{3}{2})^n$ for all integers $n \ge 1$.

Here's the problem: Use the principle of mathematical induction to prove that $n \lt (\frac{3}{2})^n$ for all integers $n \ge 1$. Here's what I've got: Base Case: $1 \lt (\frac{3}{2})^1$ is true. ...
3
votes
2answers
355 views

Continuous function with finitely many discontinuities is Riemann Integral

After a lecture today, I just wanted to confirm that I understand the proof of the following: If $f: [a,b] \to \mathbb{R}$ is bounded and continuous and has finitely many discontinuities, $f \in \...
0
votes
2answers
73 views

A question on the proof of commutativity of the sum of natural numbers?

I made this question yesterday and today I've been thinking about another aspect of it. But this question is totally related to the previous one: I am trying to make a clarification about a proof of ...
0
votes
2answers
161 views

Multidimensional Proof by Induction

I have been given a recursive relation $$f(m,n)=f(m−1,n)+f(m,n−1)$$ in which I need to prove by mathematical induction that, $$f(m, n) = {(m + n)!\over(m!n!)}$$ over all natural numbers where $$f(0, n)...
6
votes
0answers
566 views

In a math paper, what is a remark?

I sometimes see paragraphs labeled 'Remark.' However, papers that include remarks also include unlabeled explanatory paragraphs (i.e. all the other writing in the article) that seem to be remarks. ...
3
votes
4answers
1k views

If $x$ and $y$ are irrational but $x + y$ is rational then $x - y$ is irrational [closed]

Prove that if $x$ and $y$ are irrational but $x + y$ is rational then $x - y$ is irrational. I can understand how it works in my head, I don't know how to prove it though.
0
votes
1answer
37 views

Boolean algebra proof - I don't know why this is valid!

So this is the answer proof I was given, I'm stumped by the final application of the Idempotent law (where does that 1 come from!?) As I understood it a 0 or 1 can only come from a combination of A ...
0
votes
1answer
264 views

Show any open interval is a half open set?

How do I show that any open interval is an half open set and use this to conclude that any open set is also half open? I am in an introduction to proofs writing class. I have a feeling I need to use ...
3
votes
1answer
621 views

My proof that sum of convergent sequences converges to sum of limits

Does my proof appear correct? Also, do you like the notation? $\textbf{Theorem.}$ If $(a_n)_{n \in \mathbb{N}}$ and $(b_n)_{n \in \mathbb{N}}$ are convergent real sequences, then $$ \lim_{n \to \...
0
votes
1answer
31 views

Let X be a nonempty set. Let x∈X. Show that the collection 𝔗={U⊆X:U=∅ or x∈U} is a topology for X.

Let $X$ be a nonempty set. Let $x \in X$. Show that the collection $ \mathfrak T = \{ U \subseteq X : U = \emptyset$ or $ x \in U \}$ is a topology for X. I know I need to show that this ...
0
votes
2answers
32 views

What would the correct English description be for the difference for 1/3

If you measure a task & it takes 3 seconds, then the next time you do the same task, it takes you 1 second, is the difference 200% or 67%? Or would you say the difference is 200% because 3-1=2 ...
0
votes
1answer
63 views

Proof by contradiction or contrapositive sets help

so I'm having difficulties proving the following Theorem, through either proof by contradiction or contrapositive. Can someone please help me? The problem is as follows: Prove that for any two sets, $...
1
vote
1answer
70 views

Iterating proof step

Many books proves theorems by performing one proof step and using this step as a scheme they say by repeating this step $l$ times we prove that... I wonder whether there is some formal meta-theorem ...
5
votes
2answers
91 views

Prove that $n(r) < 2\pi \sqrt[3]{r^{2}}$

Suppose that $n(r)$ denotes the numbers of points with integer coordinates on a circle of radius $r > 1$. Prove that $$ n(r) < 2\pi \sqrt[3]{r^{2}} $$ What process would you use to resolve ...
1
vote
3answers
57 views

Mathematical Induction Proof Question dealing with integers

How would you use mathematical induction to prove that $1 \cdot 2 \cdot 3 + 2 \cdot 3 \cdot 4 + \dots + n \cdot (n + 1) \cdot (n + 2) = \frac{n(n + 1)(n + 2)(n + 3)}{4}$ I tried proving the base ...
0
votes
3answers
242 views

How to prove that the $\lceil x y \rceil \le \lceil x\rceil\lceil y\rceil$ for real numbers $x, y$?

I know intuitively that this is true, but whenever I try and break apart that intuition to see where it's coming from, I essentially end up re-writing the assumption I'm trying to prove. I've tried ...
0
votes
1answer
179 views

Proof that minimum of sum of absolute differences is greater or equal of max value minus min value

Let's have an vector of natural numbers $[v_1, ..., v_N]$ my goal is to show that $$\sum_{i=1}^{N-1}|v_i - v_{i+1}| \ge v_{max} - v_{min}$$ where $v_{max} = \max_{i\in1...N}(v_i)$ and $v_{min} = \...
2
votes
1answer
466 views

Prove by induction that numbers of Fibonacci of the form $F_{3n}$ are even

I am not quite asking to solve this problem, but I am asking what they are asking me. This is the problem: The Fibonacci numbers $F_n$ for $n \in \mathbb{N}$ are defined by $F_0 = 0$, $F_1 = 1$, ...
1
vote
3answers
85 views

How to resolve $x \in A \wedge x \notin A $?

Let A and B be two sets. Then $A \setminus B = \{x: x\in A \wedge x\notin B\}$ $A \setminus B = \{x: x\in A \wedge x\notin A \cap B\}$ How can one prove that two logical statements are equal? ...
0
votes
2answers
46 views

Computation of determinant for Using Inverse Function Theorem

Let $f : \Bbb R^{3} \setminus \{(0, 0, 0)\} → \Bbb R^{3} \setminus \{(0, 0, 0)\}$ be given by $f(x, y, z) = (x/(x^{2} + y^{2} + z^{2}), y/(x^{2} + y^{2} + z^{2}), z/(x^{2} + y^{2} + z^{2}))$. Show ...
1
vote
1answer
128 views

How do I prove that every open interval that contains $ \{ 1,2\}$ must also contain 1.5?

How do I prove that every open interval that contains $ \{ 1,2\}$ must also contain 1.5? $| x -x_0| \lt \varepsilon$ if and only if $x$ is in the interval $(x_o -\varepsilon, x_o + \varepsilon)$ We ...
0
votes
3answers
62 views

Prove that $| x -x_0| \lt \varepsilon$ if and only if $x$ is in the interval $(x_o -\varepsilon, x_o + \varepsilon)$.

Let $x_0$ and $x$ be real numbers and let $\varepsilon$ be a real number with $\varepsilon \gt0$. Prove that $| x -x_0| \lt \varepsilon$ if and only if $x$ is in the interval $(x_o -\varepsilon, ...
2
votes
2answers
447 views

How do I prove that the complement of the closed interval $[a,b]$ is an open set.

How do I prove that the complement of the closed interval $[a,b]$ is an open set. I have a theorem that says an open set is a union of open intervals. Can I simply say the complement of the closed ...
1
vote
3answers
130 views

Induction proof verificiation

P(n) = in a line of n people show that somewhere in the line a woman is directly in front of a man. The first person will always be a woman and the last person in the line will always be a man I ...
3
votes
2answers
78 views

Functions and Sets

Robert, Susan, and Thomas are the sole contestants in a lottery in which two prizes will be awarded. Three tickets with their names on them are placed in a hat. The person whose name is on the first ...
1
vote
1answer
329 views

Trouble proving floor function is onto?

I'm trying to do a proof of a floor function being onto, but I'm not sure where to go from here. I don't want to ask the question outright because I want to figure it out myself, but I know that if ...
0
votes
1answer
269 views

Similar Matrices and Nullspace Proof

Prove that if A and B are similar matrices, the dim $Null(A)$ = dim $Null(B)$ I'm not really sure where to start for this problem. Any help would be appreciated. Thanks
2
votes
2answers
75 views

Prove that f'=f iff f is an exponential funtion

Written more formally, prove that $f' = f \iff \exists c \in \mathbb{R} : f = c * \exp$ In other words, I guess, it's enough to prove that $\exp$ and $f(x) = 0$ are the only functions that are equal ...
0
votes
2answers
185 views

Prove that $R- \{1,2\}$ is an open set

How would I show that the complement of the closed interval $[a,b]$ is an open set. My definition of an open set is: A subset $U$ of $R$ is called an open set if $U = \emptyset$ or if for each $x \...
0
votes
2answers
43 views

Prove an existential quantifier goal by assuming there exists an arbitrary value that makes the expression true.

I'm trying to prove the following: Suppose { A$_{i}$ | i $\in$ I } is an indexed family of sets and I $\neq$ $\emptyset$. Prove that $\cap$$_{i \in I}$A$_{i}$ $\in$ $\cap$$_{i \in I}$$\mathcal{...
2
votes
2answers
55 views

Prove that $X\triangle\emptyset=X$

I'm working on my proofs involving sets, though this one is not a homework problem, so if you wish to provide your own example, so be it. I am working on exercise 3.3.14 (1) in Bloch's Proofs and ...
1
vote
2answers
46 views

Convergence in Complex Plane

Suppose that $z_n,z \in G = \mathbb{C} \setminus \{z:z \leq 0 \}$ and $z_n=r_ne^{i\theta_n}, z = re^{i\theta}$ where $- \pi < \theta, \theta_n < \pi$. Prove that if $z_n \to z$, then $\theta_n ...
2
votes
1answer
51 views

Show that if $A$ is any subset of a topological space $(X,T)$, then $Int(A) = \complement ( \overline {\complement (A)})$

Show that if $A$ is any subset of a topological space $(X,T)$, then $Int(A) = \complement ( \overline {\complement (A)})$ My reasoning went as follows: $\overline {\complement (A)} = \complement (A) ...
0
votes
1answer
65 views

Prove that in $\Bbb R$, $Int ([0,1]) = (0,1) $

Basically I need to show $Int([0,1]) = (0,1)$ meaning that I need to show that: $(0,1) = \bigcup_{a \in A}a$ Where for all $a \in A, a = (b,c)$ where $b,c$ real numbers such that $0 <b <c <...
2
votes
2answers
52 views

Proof : If $\{a_n\}$ is converge then $\{|a_n|\}$ converge

Proof : If $\{a_n\}$ is converge then $\{|a_n|\}$ converge. My proof : We know that $\{a_n\}$ converge therefore : $$\lim_{n \to \infty} a_n = L$$ All $\epsilon>0$ exist $N \in \mathbb{N}$ so ...
0
votes
1answer
72 views

Proving $f(f^{-1}(D)) \subset D$

Suppose that $f:A \rightarrow B$ and let $D \subset B$. For proving $f(f^{-1}(D)) \subset D$: Let $x \in f(f^{-1}(D))$. Now $f(f^{-1}(D)) \in B$, so $x \in B$. Then $\exists y \in A$ such that $f(y) ...
2
votes
1answer
56 views

differentiable on $\Bbb R^{n}× \Bbb R^{n}$

Let $f : \Bbb R^{n} × \Bbb R^{n} → \Bbb R$ be defined by $f(x, y) = x·y$ , Show that $f$ is differentiable on $\Bbb R^{n}× \Bbb R^{n}$ and that $Df(a, b)(x, y) =b · x + a · y$ Here . denotes the dot ...
0
votes
1answer
26 views

Finite Sets Proof on Domains [duplicate]

Just wanted some help with this little proof.: Let X and Y be Finite Sets. Prove that |X^Y| = |X|^|Y|
0
votes
1answer
47 views

Simple Linear Algebra Proof - Determinants

Prove or disprove the following statement: If R is the RREF of A, then det A = det R. So far, I think that this is true, considering A and R are row equivalent, and that the determinant changes as ...
1
vote
1answer
49 views

How to proof: The set A × B is infinite if either A or B is infinite and the other set is not the empty set.

I'm having some difficulty trying to prove that. Suppse $A$ is an infinite set and $B$ is the non empty set, I thoght of showing that the cartesian product of both sets have the same cardinality as $...
1
vote
1answer
35 views

Converse of Borel-Lebesgue in $\mathbb R^n$

Question: If every open cover of a set $X \subset \mathbb R^n$ admits a finite subcover, then $X$ is compact. Note: Definition: $X$ is said to be a compact set is if $X$ is bounded and closed. ...