For questions about the writing of proofs. But instead of focusing the mathematics behind the proof, these questions ask about the details and implementation of the proof.

learn more… | top users | synonyms

1
vote
0answers
49 views

Power Set, Bijection Function, Equivalence Relation

Let $S$ be a set and $P(S)$ the power set of $S$. For sets $A,B⊆P(S)$, we say that $A \sim B$ if there exists a bijective function $f: A \rightarrow B$. Show that $\sim $ is an equivalence relation.
0
votes
2answers
23 views

discrete fourier transform proof (show equals n*I)

Let $w=e^{(-2\pi i/n)}$. Let $W$ be an $n \times n$ matrix defined by $$ W = \begin{pmatrix} 1 & 1 & 1 & 1 & \cdots & 1 \\ 1 & w & w^2 & w^3 & \cdots & ...
1
vote
1answer
18 views

basic conditional probability proof

I having trouble with the following proof: $$P((A \cap B) \mid B) = P(A\mid B).$$ I get that $P(A\mid B) = P(A \cap B) / P (B)$, but I am unsure of how to proceed.
2
votes
0answers
108 views

Prove $f_\infty: A_\infty \rightarrow B_\infty$ is a bijection

Update: I was given some hints at how to approach this problem $A_\infty $ and $B_\infty$ are sets, not maps. (which is strange because there are function definitions coming into play here) The ...
5
votes
2answers
192 views

Is (the proof of) Fermat's last theorem completely, utterly, totally accepted like $3+4=7$?

If a mathematician would/does make use of Fermat's last theorem in a proof in a publication, would s/he still make use of some kind of caveat, like: "assuming Fermat's last theorem is true" or ...
0
votes
2answers
46 views

Sum of the eigenvalues

if $V$ is a finite-dimensional vector space and $t \in \mathcal L (V,V) $is such that $t^2 = id_V$ prove that the sum of eigenvalues of t is an integer. I started the prove as such: Let $\lambda_1 ...
1
vote
1answer
22 views

Show that $R \cap R^*$ and $R \cup R^*$ are equivalence relations.

Let $R$ be a reflexive and transitive relation on a set $S$. Let $R^*$ be the dual relation, $(a,b) \in R^*$ if and only if $(b,a) \in R$. Show that $R \cap R^*$ and $R \cup R^*$ are equivalence ...
0
votes
1answer
31 views

What is the formal meaning of “determine” in Baby Rudin 2.40?

In Theorem 2.40, Rudin talks about a $k$-cell $I$ formed by the intervals $[a_1, b_1], \ldots, [a_k, b_k]$. We split each interval at its midpoint $c_j = \frac{a_j + b_j}{2}$ and end up with $2k$ ...
0
votes
4answers
49 views

Help with a certain proof

For all $x,y \in \mathbb{R} - \{0\}$, $(xy)^{-1}=x^{-1}y^{-1}$. I was wondering how I could solve this.
1
vote
1answer
37 views

How to write a proof that uses combinatorics?

Imagine you have this trivial problem: How many ways can n people pick two flavours from a choice of k flavours (with no repetition on the flavours). Suppose that you think the answer is ${k \choose ...
0
votes
1answer
53 views

When proving things how do I defer choosing a values?

The best example is what I've just tried to prove. Usually I do these proofs in 2 or 3 passes, or draw a margin to separate notes. In the example I want to defer picking an $\epsilon_f$ and ...
0
votes
3answers
35 views

Let $x,y \in \mathbb{R}_{>0}$. If $x<y$ then $0<1/y<1/x$.

I came across a proof in my textbook and was wondering how to solve it: Let $x,y \in \mathbb{R}_{>0}$. If $x<y$ then $0<1/y<1/x$.
0
votes
2answers
42 views

Show that $A^{(x,y)}$ is countable.

Question: Let $A$ be a countable set $A^{(x,y)}$ the set of all functions from $(x,y)$ to $A$. Show that $A^{(x,y)}$ is countable. My attempt: By proposition 7.1.2iii, $\mid B \mid^{\mid A \mid}$ ...
1
vote
1answer
27 views

The Open Set $X-\lbrace x \rbrace$

I am task with proving the following: if $x \in X$ then $X- \lbrace x \rbrace $ is an open set I kind of have an idea but I am unsure about it and how to express it. I was thinking about using the ...
0
votes
0answers
25 views

Equal fields and dimension

Let $K \subseteq L$ be fields. Show that K=L if and only if $dim_k L=1$ I know that I will have to show both directions of the implication. I'm very new to the topic of fields so I'm still ...
0
votes
3answers
40 views

Proof that $X^C \cap Y^C= \;(X \cup Y)^c$

Proof that if $X \subset S,\; Y\subset S,\;$ then $\;X^C \cap Y^C= \;(X \cup Y)^c:$ It must be shown that the two sets have the same elements, that each element of the set on the left is an element ...
2
votes
2answers
60 views

Could this linear algebra proof be done without computation?

From page 95 of Hoffman & Kunze's Linear algebra: Let $T$ be the linear operator on $\mathbb{R}^2$ defined by $T(x_1,x_2)=(-x_2,x_1)$ Prove that if $B$ is any ordered basis ...
1
vote
0answers
38 views

Show that this is not differentiable at any point in $\mathbb{R}$

Define $\phi: \ \mathbb{R} \rightarrow \mathbb{R}$ by $$ \phi(x) = \begin{cases} x\ :\ 0\le x\le \frac{1}{2}\\ 1-x :\ \frac{1}{2} \le x \le 1 \end{cases}$$ And then extend ...
0
votes
3answers
35 views

What is this problem stating? And how to prove this?

$$\exists! x : A(x) \Rightarrow \exists x : A(x)$$ Assuming that $A(x)$ is an open sentence. I'm new to abstract mathematics and proofs, so I came here to ask for some simplification. Thanks
0
votes
0answers
14 views

Field Extensions Identities

I'm working on proving some identities but I need some help clarifying the notation and what exactly each statement is saying. Prove the following identities. (a) $K(A) = QF (K[A])$ (b) $R[A_1 ...
2
votes
1answer
51 views

Proof negation in Gentzen system

I am provided with the L¬ and R¬ Gentzen rules for negation (besides “Cut” rule and some rules for ⋀ and →): $${\Gamma\vdash\Delta,\varphi\over \Gamma,\lnot\varphi\vdash \Delta}\ L\lnot \\[4ex] ...
3
votes
2answers
101 views

Show there are a pair of sentences where the first says the second is provable and the second says the first is unprovable

Given $B_1(y)$ and $B_2(y)$ in the language of arithmetic, show there are sentences $G_1$ and $G_2$ such that: $$\vdash_Q G_1 \leftrightarrow B_2(\ulcorner G_2 \urcorner)$$ $$\vdash_Q G_2 ...
1
vote
1answer
32 views

Divisors of prime factorizations

Let $f,g,h \in F[x]$, with $f(x)$ and $g(x)$ relatively prime. If $f(x)$ divides $h(x)$ and $g(x)$ divides $h(x)$ prove that $f(x)g(x)$ divides $h(x)$. My thoughts: there are certain properties that ...
0
votes
1answer
26 views

Greatest common divisor of ring elements

Consider the ring $\mathbb Q[x]$. (a) Suppose that $a(x) = (x+1)^3(x-1)^4(x+2)$ and $b(x) = (x+1)^2(x+2)^3(x-3)^4$. What is the $\gcd (a(x),b(x))$? (b) Suppose that $c(x) = (x^2-1)^4(x^2+3x+2)$. ...
1
vote
0answers
12 views

Splitting Fields Proof

Let $K\subseteq L$ be fields and $ f \in K[X] \setminus K$. Prove that the following are equivalent. (a) $L$ is a splitting field for $f$ over $K$ (b) $f$ splits over $L$ and $L=K(a_1,\ldots,a_n)$ ...
0
votes
1answer
18 views

Proving sequence statement using mathematical induction, $d_n = \frac{2}{n!}$

I'm stuck on this homework problem. I must prove the statement using mathematical induction Given: A sequence $d_1, d_2, d_3, ...$ is defined by letting $d_1 = 2$ and for all integers k $\ge$ 2. $$ ...
0
votes
2answers
42 views

Help with a proof I came across

I came across this in my textbook and was wondering how it could be proven. If $a\mid m$ and $b\mid m$ and $gcd(a,m) = 1$, then $ab\mid m$. It's near some Euclid and Extended Euclid proofs so I ...
1
vote
0answers
57 views

Proof Synopsis of Fermat's Last Theorem

I'm taking a introduction to higher math course now (mostly number theory) and our professor wants us to include two sentence proof synopses with our longer proofs. This got me thinking, What is a ...
0
votes
1answer
49 views

hyperbolic geometry proof with parallel lines

We are assuming hyperbolic geometry in this proof. Prove that for every line $l$ and external point P (im assuming point $P$ is not on line $l$), there are an infinite number of distinct lines ...
0
votes
0answers
14 views

geometry 2 column proof of tangent chord angle corollary

I need to prove 12.23 on this section (http://i.imgur.com/M5iev9K.png) I can use any of the theorems or corollaries before 12.23 but not the ones after it. This is a list ...
0
votes
1answer
43 views

Prove the least upper bound property using Bolzano Weierstrass theorem

Prove the least upper bound property using Bolzano Weierstrass theorem. I know there are quite a fair number of similar questions on the site, but none of them provide satisfactory proofs. Does ...
3
votes
1answer
78 views

Best proof of some theorems in calculus

I would like to choose (among the miriads of proofs) a well-structured, elegant, neat, clear proof of the first fundamental theorem of calculus; the second fundamental theorem of calculus; the mean ...
2
votes
2answers
160 views

Help with graph induction proof

I'm trying to prove : Given a simple graph G with n vertices, where n is even, prove that if every vertex has degree n/2 + 1, then G must contain a (simple) 3-cycle. A (simple) 3-cycle is a set of 3 ...
0
votes
1answer
26 views

Proof for a graph distance

For Graph $G$, there are several $(x, y)$-paths; the shortest among them have length $2$. Thus $d(x, y) = 2$. Prove that graph distance satisfies the triangle inequality. That is, if $x,y,z$ are ...
0
votes
0answers
25 views

Linearly Independent and Span Proof

Let R be a field, M be an R-module, $X \subseteq M$. Show that $X$ is linearly independent if and only if $x$ not $\in$ span (X\ {x}) for each $x \in X$ (I'm not sure how to write the symbol for ...
0
votes
1answer
28 views

Span and Smallest Submodule Proof

Let R be a ring, M a R-module, and $X \subseteq M$ Show that span$(X)$ is the smallest submodule of R containing X. My ideas: Every submodule is contained in its span so $X \subseteq$ span$(X)$ and ...
0
votes
0answers
22 views

2 column proof of The Tangent-Chord Angle Corollary

I need to prove 12.23 on this section (http://i.imgur.com/M5iev9K.png) I can use any of the theorems or corollaries before 12.23 but not the ones after it. This is a list ...
1
vote
1answer
62 views

Using Pigeonhole Principle for a graph proof

Using the Pigeonhole Principle, prove that in any graph with two or more vertices there must exist two vertices that have the same degree. (Note: the problem does not assume that the graph is ...
0
votes
2answers
75 views

Let a, b, c, d be rational numbers…

Let $a, b, c, d$ be rational numbers, where $\sqrt{b}$ and $\sqrt{d}$ exist and are irrational. If $a + \sqrt{b} = c + \sqrt{d}$, prove that $a=c$ and $b=d$.
0
votes
1answer
15 views

Proving the Division Algorithm using induction

Let $n \in \mathbb{N}$. For every $m \in \mathbb{Z}$, there exist unique $q, r \in \mathbb{Z}$ such that $ m = qn+r$ and $0 \le r \le n-1$. We call $q$ the quotient and $r$ the remainder when dividing ...
5
votes
0answers
37 views

My first proof that uses the well-ordering principle (very simple number theory). Please mark/grade.

What do you think about my first proof that uses the well-ordering principle? Please mark/grade. Theorem The sum of the cubes of three consecutive natural numbers is a multiple of 9. Proof ...
2
votes
1answer
113 views

Proof concerning equivalent definition of supremum using limits

I believe I have a proof to the following theorem: Let $S$ be a subset of $\mathbb{R}$ that is non-empty and bounded above. $s \in \mathbb{R}$ is the supremum iff $s$ is an upper bound of $S$ and for ...
1
vote
2answers
33 views

Ring with special rules for add and mult

$R$ is a ring of integers with special rules for multiplication and addition. Suppose that $f: \mathbb Z \to R$ is an isomorphism that is defined by $f(x) = x-2$. What integer in the ring $R$ is ...
1
vote
0answers
24 views

Show that the field Q[sqrt2] cannot be ordered using the defined relation

The complete questions states: On $\mathbb Q\:$[$\sqrt2 $] we define the relation: $\mathbb a+b\sqrt2 < a'+b'\sqrt2$ if $\mathbb a<a'$ and $\mathbb b<b'$ then show that the field $\mathbb ...
0
votes
1answer
25 views

GCD of polynomials

In $\mathbb{Z}/5\mathbb{Z}[x]$ use the Euclidean Algorithm to find the GCD of $x^4+x^2$ and $x^4+x^3+3x$. My thoughts: I am getting to the point where I need to use a fraction to get further in ...
0
votes
0answers
16 views

Question regarding a surjective function

The function $f :\mathbb{Z}_{12} \longrightarrow \mathbb{Z}_4$ is defined by $f(x)=3x$. I am asked given any $a,b \in \mathbb{Z}_{12}$ if preservation of addition and multiplication occur. I proved ...
0
votes
0answers
49 views

Let {$p_n$} be a sequence of points in the $\mathbb{R}^2$. Use the notion of convergence to solve the following

A) Define what it means for a point p $\in$ $\mathbb{R}^2$ to be a limit point of {$p_n$}. B) Prove that p is a limit point of {$p_n$} if and only if {$p_n$} has a subsequence which converges to p. ...
2
votes
1answer
52 views

continuous time Markov chain, something the book does not explain

I have a problem with something in my book, under the chapter of continuous time Markov chains. I will post a link to what the book does. They do something which they seem to take for granted, but I ...
1
vote
0answers
40 views

My first proof employing the pigeonhole principle / dirichlet's box principle - very simple theorem on real numbers. Please mark/grade.

What do you think about my first proof employing the pigeonhole principle? What mark/grade would you give me? Besides, I am curious about whether you like the style. Theorem Among three elements ...
0
votes
4answers
45 views

direct proof of combination

Prove that $(^{n}_{2}) = 1+2+3+...+(n-1)=\sum^{n-1}_{k=1}k$ for $n \ge 2$ After some time flipping through notes I think I should use the sum of the 1st n natural is ...