For questions concerning a specific proof, asking for verification, identifying errors, suggestions for improvement, etc.

learn more… | top users | synonyms

6
votes
3answers
115 views

Prove that $\det(I-CD)=\det(I-DC) $

Let $C$ and $D$ be matrices such that $DC$ and $CD$ are square matrices of the same dimension. How can one prove that $\det(I-CD)=\det(I-DC)$? This is my approach to the question. I am not sure ...
0
votes
0answers
10 views

Generalized Associative Property (Proof Verification)

I am really confused about Associative property and Generalized associative property. I am not sure of my proof, and I have a feeling that it is not correct. Would be happy if someone can tell me what ...
3
votes
2answers
30 views

Proving a function $F$ is surjective if and only if $f$ is injective

Problem: Let $X$ and $Y$ be non-empty sets and let $f: X \rightarrow Y$ be a function. Then we can define $F: P(Y) \rightarrow P(X)$ by \begin{align*} F(B) = f^{-1}(B) \qquad \text{for all} \ B \in ...
4
votes
0answers
32 views

A natural number has exactly 10 divisors including 1 and itself.How many distinct prime factors can this natural number have?

A natural number has exactly 10 divisors including 1 and itself.How many distinct prime factors can this natural number have? options given: (a) either $1$ or $2$ (b)$1$ or $3$ (c)either $2$ or ...
0
votes
1answer
36 views

Check whether this is indeed a counterexample

Let $A,B \subset \mathbb{R}$; let $Q := A \times B$; and let $f: Q \to \mathbb{R}$ be bounded. The problem is to give a counterexample to the proposition that if the Riemann integral $\int_{Q}f$ ...
2
votes
2answers
30 views

If $\gcd(ab,c)=d$ and $c|ab$ then $c=d$

For all positive integers $a$, $b$, $c$ and $d$, if $\gcd(ab, c) = d$ and $c | ab$, then $c = d$. Need help proving this question, I know that $abx + cy = d$ for integers $x,y$ and that $c|ab$ can be ...
2
votes
0answers
21 views

Characterization of graphs of maps between smooth manifolds

Theorem 6.52 in Lee's Introduction to Smooth Manifolds, 2nd ed., says Suppose $M$ and $N$ are smoothe manifolds and $S \subset M \times N$ is an immersed submanifold. Let $\pi_M$ and $\pi_N$ ...
2
votes
1answer
34 views

Cantor's diagonal argument modified version

I have the following doubt regarding Cantor's diagonal argument. First of all, the "usual case" is quite clear for me. If $X$ is some set, then we can show there is no surjection from $X$ onto the set ...
0
votes
1answer
16 views

$f_n(x) = \left\lfloor \frac{\sin(2\pi (x / n + 1/ 4) + 1 }{2}\right\rfloor$ and related

$f_n(x) = \left\lfloor \frac{ \sin(2\pi (\frac{x}{n} + \frac{1}{4})) + 1}{2}\right \rfloor = 1 \iff x = kn$ and $ f_n(x) = 0 \iff x \neq kn$. Let $g_n(x)$ be what's within the floor brackets. Then ...
1
vote
0answers
33 views

Least squares solutions of the linear system

I'm doing problems from old exams, and my solutions don't add up with the professor's solution. The problem is as followed: Find all least squares solutions of the linear system. I checked my ...
1
vote
2answers
40 views

Prove that no set can contain everything (or every other set)

Prove that there cannot exist a set that contains everything. Ill put my proof in the answer so please check it there. Also if there is a more creative way to do this(using the basic axioms) if it's ...
0
votes
0answers
43 views

Binomial theorem proof

I'm working through Richard Hamming's "Methods of Mathematics Applied to Calculus, Probability, and Statistics" on my own. I'm struggling with his proof of the binomial theorem, as summarized below. ...
2
votes
1answer
22 views

A surjective endomorphism (of a Noetherian ring) is injective.

The problem is stated as follows: "Let $R$ be a Noetherian ring and $\theta$ be a ring homomorphism from $R$ to $R$. Show that if $\theta$ is surjective then it is also injective." Regardless of the ...
1
vote
3answers
58 views

Combinatorial Proof of a Simple Identity

Consider the following identity: $\binom n r = \frac n r \binom {n-1} {r-1}$ where $n \ge r \ge 1$. It's easy to supply an algebraic proof, but I'm looking for a combinatorial proof. I tried the ...
3
votes
1answer
27 views

If $b \equiv 0 \pmod a$ and $c \equiv 0 \pmod b$, then $c \equiv 0 \pmod a$

The question is If $b \equiv 0 \pmod a$ and $c \equiv 0 \pmod b$, then $c \equiv 0 \pmod a$. My attempt is that $b \equiv 0 \pmod a$ can be written $a\mid b-0 = a\mid b$ and the same with $c \equiv 0 ...
2
votes
1answer
28 views

Evans pde book: details on an bound for a Sobolev norm in the proof of the Meyers-Serrin theorem

Let $U$ be an open subset of $\mathbb{R}^n$ and $f\in W^{m,p}(U)$. Suppose that $$\|f\|_{W^{m,p}(V)}\leq\delta\tag{1}$$ for all $V\subset\subset U$ (that is, all $V$ such that $V\subset\overline{V} ...
2
votes
2answers
48 views

$\mathfrak{sl}(2)$ is a simple Lie algebra.

I am trying to prove that $\mathfrak{sl}(2,\Bbb C)$ is simple. Since this takes the $[x,y]=xy-yx$ matrix commutator bracket, this is clearly non-abelian. So to prove it is simple, we need only show ...
3
votes
2answers
70 views

Question about irrationality proof of $\sqrt{n}$

I'm talking specifically about a proof that I've found. I don't seem to get some parts of it. It states that if you take: $$\sqrt{n}=\frac{p}{q} \:\: \;\;p,q \in \mathbb{Z} $$ where $p$ and $q$ share ...
3
votes
2answers
35 views

Unique Linear Map- Linear Algebra

Let $E = {e_1, . . . , e_n}$ be a basis for $\mathbb{R}^n$ , and let $v_1, . . . , v_n$ be arbitrary vectors in $\mathbb{R}^m$. Prove that there is a unique linear map $T : \mathbb{R}^n \rightarrow ...
0
votes
1answer
33 views

Graphic proof of an inequality between sequence ratios

I would like to verify my proof for the following claim. Let $b_i$ be a positive decreasing sequence, $j<k$ two integers and $d$ a positive number. Prove that: $$ ...
0
votes
1answer
19 views

What am I doing wrong here? Showing $\text{Ord}_{N}(a)|k\iff a^k\equiv 1 \pmod N$.

Show $\text{Ord}_{N}(a)|k\iff a^k\equiv 1 \pmod N$ where $a$ is invertible. What I did is: If $\text{Ord}_{N}(a)|k$ it is obvious. Suppose $a^k\equiv 1 \pmod N$. Not let us assume by contradiction ...
1
vote
1answer
47 views

Limit of arithmetic means

If $\{s_n\}$ is a complex sequence, define its arithmetic means $\sigma_n$ by $$\sigma_n=\dfrac{s_0+s_1+\dots+s_n}{n+1}.$$ If $\lim s_n=s$, prove that $\lim \sigma_n=s.$ My proof: Let $t_n:=s_n-s$ ...
0
votes
1answer
32 views

If the Ideals Generated by the Coefficients of $f(X),g(X)$ are $R$, then so is the Ideal Generated by $f(X)g(X)$.

Let $R$ be a commutative ring with unity, and let $f(X),g(X)\in R[X]$. Assume the ideals generated by the coefficients of $f(X),g(X)$ are both $R$. Prove that the ideal generated by the coefficients ...
0
votes
3answers
29 views

Power series with radius convergence $\leqslant 1$

Suppose that the coefficients of the power series $\sum a_nz^n$ are integers, infinitely many of which are distinct from zero. Prove that the radius of convergence is at most 1. Proof: Let radius of ...
1
vote
1answer
42 views

Proof that $A\cap\emptyset=\emptyset$

I'm trying to prove $A\cap\emptyset=\emptyset$. I've seen several proofs for this which all seemed to essentially go about proving it by noticing that $\emptyset\subset A\cap\emptyset$ by definition ...
1
vote
1answer
11 views

Proving with divisibility

I have never written any proofs (except high school geometry) in my life, so I'm not sure what exactly the proper formatting should be. Involving divisibility, the proposition states: Let $a, b,$ ...
1
vote
2answers
41 views

Proof about sum of convex polygon interior angles

I'm working through Richard Hamming's "Methods of Mathematics Applied to Calculus, Probability, and Statistics" on my own. I'm struggling with this proof (clipped from Google books): I follow him ...
0
votes
0answers
21 views

Let $R$ be a relation on $A$ and let $S$ be the transitive closure of $R$. Prove that $\text{Dom}(S) = \text{Dom}(R)$.

This is from "How To Prove It". The full exercise also asks to prove that $\text{Ran}(S) = \text{Ran}(R)$ but I was set from the outset on proving that $\text{Dom}(S) = \text{Dom}(R)$ first. Since the ...
0
votes
1answer
44 views

Proving well-ordering property of natural numbers without induction principle?

In Munkres, Topology, he has this way of proving the well ordering property for the natural numbers: He assumes he can work with the real numbers from the for the real numbers Then he defines an ...
1
vote
0answers
23 views

On properties of linear orders

I have a simple question. Let A={a,b,c,...} be a set and > a total strict order on $2^A$. Total strict order means that for any two subsets of A, say S and S', either S>S' or S'>S but not both. The ...
0
votes
0answers
31 views

Show that the homomorph image of an abelian group is abelian

Since $G$ is abelian, we have that: $$ab = ba \implies \phi(ab) = \phi(ba) \implies \phi(a)\phi(b) = \phi(b)\phi(a)$$ Am I rigth?
1
vote
1answer
42 views

If $V$ is a vector space and $U$ & $W$ are subspaces of $V$, such that $U \oplus W = V$! Need help with proofs!

Consider the map $\rho : V \to V$, defined by $\rho(v) = u − w$, where $v = u + w$, $u \in U$, $w \in W$. Show that: i. $\rho$ is well defined and it is linear; ii. $\rho(u) = u$, $\forall u ∈ U$; ...
1
vote
2answers
27 views

Rigorous Linear Transformation Proof

$T:V \rightarrow V$ We could also write: $T:V \rightarrow Im(T)$ The question tells us that $Im(T)=Im(T^2)$ It's intuitively obvious that this means that T then maps $Im(T)$ to itself so if you ...
1
vote
4answers
67 views

Prove that $\left|(|x|-|y|)\right|\leq|x-y|$

Prove that $\left|(|x|-|y|)\right|\leq|x-y|$ Proof: $$\begin{align} \left|(|x|-|y|)\right| &\leq|x-y| \\ {\left|\sqrt{x^2}-\sqrt{y^2}\right|}&\leq \sqrt{(x-y)^2} ...
0
votes
3answers
47 views

Why is this implication true?

$\dfrac{4x^2}{(1+x^2)^4} < 1 \to \dfrac{2\mid x \mid}{(1+x^2)^2} < 1$ . This is from a textbook i'm using (Advanced Engineering Mathematics, 10th ed., Kreyszig). It looks like the left hand side ...
0
votes
1answer
38 views

A problem from Finite Dimensional vector spaces

Problem : If $ M $ and $N$ are two subspaces of the vector space $V$ such that $\forall v \in V $ , $ v \in M $ or $ v \in $ (or both) . Prove that at least one of the is equal to $ V $ My ...
1
vote
0answers
32 views

Basic Set-Theoretic Properties from Halmos

I've been backtracking lately to make sure that I have a solid set-theoretic background before taking measure theory this fall. Here's a few facts I've come across today, and my attempted proofs. Let ...
0
votes
3answers
110 views

Proof that there are infinitely many prime numbers

I answered a question to prove that there are infinitely many prime numbers, but I'm not sure if my attempt is right. Can somebody help me to check if my attempt is right? I would like, if I am wrong, ...
0
votes
1answer
26 views

Verifying if these Cayley tables are from groups

For the first table I noticed that $ab = c \implies abb = cb \implies a = cb$ but in the table, $cb = d$, so this can't be a group For the second table, we have: $ab = c \implies (aa)b = ac ...
1
vote
1answer
14 views

$t > 0 $ is the least common multiple of $a, b$ (not both $0$) iff $a, b \mid t$ and $a, b \mid c \to t \mid c$

My attempt: Suppose $[a, b] = t =$ lcm of $a, b.$ By definition of lcm $a, b \mid t$. If $a, b \mid t$ and $a, b \mid c$, then $|t| \le |c|$ since $t$ is the smallest such integer. So, $t \mid c$. ...
1
vote
1answer
50 views

Easy proof for existence of Lebesgue-premeasure

In the lecture on measure theory I attended last semester, we had a sort of complicated technical proof for the existence of the Lebesgue-premeasure. However, I can't see why this easier argument does ...
2
votes
0answers
44 views

Artin's Algebra, Exercise 2.4.11. (1st edition)

I have been working through Artin's algebra book. Here's a simple exercise, but I want to make sure I am not missing anything important. Let $(G,\cdot)$ be a group and let $x,y \in G$ with orders ...
5
votes
0answers
76 views

Showing that only $(n+1)^{n-1}$ of all the possible $n^n$ choices assure a full car park

This exercise is taken from the site of Queen Mary University of London: A car park has $n$ spaces, numbered from $1$ to $n$, arranged in a row. $n$ drivers each independently choose a favourite ...
0
votes
0answers
15 views

Local Constancy of Rank Function

Recently I asked this question. I believe that I have come up with a solution, but I am unsure, because the proof I have seems too easy to be true, and doesn't make very many assumptions. My ...
-4
votes
0answers
64 views

Fermat's last theorem concise proof - is it correct? [on hold]

I found the following proof for the last Fermat's theorem. Regardless the somehow colloquial language of the paper, I was wondering if it is correct? The proof is extremely concise and appears to me ...
0
votes
1answer
39 views

Is my proof that the product of covering spaces is a covering space correct?

Let $p_1:\tilde X_1 \rightarrow X_1$ and $p_2:\tilde X_2 \rightarrow X_2$ be two covering spaces. Prove: $p = p_1 \times p_2:\tilde X_1 \times \tilde X_2 \rightarrow X_1 \times X_2$ is a covering ...
1
vote
1answer
46 views

If $Y\to Z$ is a monomorphism then $X_1\times_Y X_2 \to X_1\times_Z X_2$ is an isomorphism.

This is an (easy) exercise from Vakil's textbook on Algebraic Geometry. We are working in an arbitrary category, let $Y\to Z$ be a monomorphism and we are given maps $X_1, X_2\to Y, X_1, X_2\to Z$. We ...
0
votes
2answers
25 views

Show there exists an integer $L<m\leq K$ such that $m/n$ is an upper bound but $(m-1)/n$ is not

I'm trying to prove the following: "Let $E$ be a non-empty subset of $\mathbb{R}$, let $n \geq 1$ be an integer, and let $L<K$ be integers. Suppose that $K/n$ is an upper bound for $E$, but that ...
0
votes
2answers
52 views

Inequality with limsup from baby Rudin

For any two real sequences $\{a_n\}, \{b_n\},$ prove that $$\limsup_{n\to \infty}(a_n+b_n)\leqslant\limsup_{n\to \infty}a_n+\limsup_{n\to \infty}b_n$$provided the sum on the right is not of the form ...
1
vote
0answers
48 views

Why the proof isn't complete?

I'm going through some complex analysis exercises and found one with which I have some problems: For all real $y$, $$\int\limits_{-\infty}^\infty e^{-(x+iy)^2}dx = \int\limits_{-\infty}^\infty ...