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

learn more… | top users | synonyms

15
votes
0answers
213 views

Proof of $\zeta(2)=\frac{\pi^2}{6}$

While messing around with some integrals, I have found the following proof for $\zeta(2)=\frac{\pi^2}{6}$, but I'm not sure if it is valid: We take a look at the integral $I=\int_0^{\frac{\pi}{2}} ...
13
votes
0answers
116 views

There's no cardinal $\kappa$ such that $2^\kappa = \aleph_0$

I am trying to prove that there is no cardinal $\kappa$ such that $2^\kappa = \aleph_0$ . My attempt: We suppose it exists. Since $\kappa<2^\kappa$, in particular, $\kappa<\aleph_0$. But ...
11
votes
0answers
257 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 ...
10
votes
0answers
241 views

Show that in any group of order $23 \cdot 24$, the $23$-Sylow subgroup is normal.

Show that in any group of order $23 \cdot 24$, the $23$-Sylow subgroup is normal. Let $P_k$ denote the $k$-Sylow subgroup and let $n_3$ denote the number of conjugates of $P_k$. $n_2 \equiv 1 ...
7
votes
0answers
82 views

Is a compact, simply-connected 3-manifold necessarily $S^3$ with $B^3$'s removed?

Let $M$ be a compact, simply-connected 3-manifold (which is also smooth and connected). Is $M$ diffeomorphic to $S^3$ with a finite number of $B^3$'s removed? This seems like a handy fact, but I ...
7
votes
0answers
135 views

Higher Order Derivative Proof .

I would appreciate if someone could check over my proof for this question and advise me if it is correct. My attempt so far; Now as $f$ is k times differentiable , it taylor series about $x_{0}$ ...
7
votes
0answers
511 views

bisectors of an angle in a triangle intersect at a single point - proof verification

Let´s consider a general triangle ABC. Let´s draw two angle bisectors from vertices A and B. It is obvious that these two angle bisectors intersect at a single point X. Since X lies on the angle ...
6
votes
0answers
54 views

$E \to S$ surjective in degrees $\geq 1$ implies $\widetilde{E} \to \widetilde{S}$ surjective

In the proof of Theorem II.8.13 in Hartshorne (which is the Euler sequence), the author writes: Let $S = A[x_0, \ldots, x_n]$. [...] The exact sequence $$0 \to M \to E \to S$$ of graded ...
6
votes
0answers
128 views

Finitely additive function on an infinite set, s.t., $m(A)=0$ for any finite set and $m(X)=1$ (constructive approach)

Other exercise which I found in Dudley's Analysis book: Show that there is a measure on a infinite set $X$, defined on $2^X$ s.t. is finitely additive, $m(A)=0$ for any finite set and $m(X)=1$. ...
6
votes
0answers
122 views

Proposed proof of analysis result

Hi please advise on my proof of the following result: Assume that $I \subset \mathbb{R}^{n}$ is convex, bounded open set with Lipschitz boundary and let $u_{m},u$ be such that $$u_{m} ...
6
votes
0answers
105 views

A power of the characteristic polynomial

Let $A$ be a square matrix with real or complex coefficients of size $n$. Define its characteristic polynomial by $\chi_A(X) = \det(A-XI_n)$ (or $\det(XI_n-A)$ if you prefer). The question is : Prove ...
6
votes
0answers
718 views

Proof that a sequence of continuous functions $(f_n)$ cannot converge pointwise to $1_\mathbb{Q}$ on $[0,1]$

As a homework question, we got asked the following: Construct a function $f:[0,1] \rightarrow \mathbb{R}$ which is not the pointwise limit of any sequence of continuous functions Thinking about ...
6
votes
0answers
131 views

Proof of inverse function theorem by approximation property

In proving the inverse function theorem using the approximation characterization of the derivative, we are given $F:\mathbb{R}^n \to \mathbb{R}^n$ such that  $$F(p_0 + h) - F(p_0) = DF_{p_0}(h) + ...
6
votes
0answers
229 views

Can one trisect $\arccos(6/7)$?

Is this proof correct? Proof: Here $\theta = \arccos(6/7)$. Now to show we can't trisect $\theta$, we show that $\theta/3$ is not constructible by finding the irreducible polynomial in $\mathbb ...
5
votes
0answers
120 views

Weil does not imply Cartier on variety $X$.

Show that the divisor $D$ defined by $a = b = 0$ in the variety $X \subset \mathbb{A}^4$ defined by $ad - bc = 0$ $($the cone on a smooth quadric surface$)$ is not locally principal. My attempt ...
5
votes
0answers
74 views

Prove $(\overline{A \cap B}) \subseteq \overline{A} \cap \overline{B}$.

Let $\overline{A}$ be the closure of $A$. My attempt: Since $A \subseteq \overline{A}$ and $B \subseteq \overline{B}$, we have $$A \cap B \subseteq \overline{A} \cap \overline{B}.$$ Since ...
5
votes
0answers
119 views

Olympic number theory problem: is this solution fine and sufficiently well written?

Determine all the positive integers $m$ such that both the ratios $$ \frac{2(5^m+5)}{3^m+1}, \frac{9^m+1}{5^m+5}$$ are integers. Attempt to a solution: If the ratios are both integers, than their ...
5
votes
0answers
63 views

Check proof about range of bounded linear operator.

I have to prove that the range $\mathcal{R}(T)$ of bounded linear operator $T:X\rightarrow Y$; $X,Y$ normed spaces need not be closed in $Y$. As a hint I'm given that I could consider ...
5
votes
0answers
98 views

In which of the three topologies is $f(t)=(t, 2t, 3t, 4t, \ldots)$ continuous? Here, $f$ is a function from $\mathbb{R}$ to $\mathbb{R}^\omega$.

Can someone please verify my proof or offer suggestions for improvement? Consider the product, uniform, and box topologies on $\mathbb{R}^\omega$. In which of the three topologies is $f(t)=(t, 2t, ...
5
votes
0answers
102 views

Jech, “Set theory” exercises 12.11 - Is my proof right?

I try to prove the Jech's "Set theory", exercises 12.11: 12.11. If $\kappa$ is an inaccessible cardinal, then $V_\kappa\models \text{there is a countable model of ZFC}$. My attempt. Since ...
5
votes
0answers
164 views

Complex Conjugation as an $F$-Automorphism of $K$?

I am struggling with the following problem: Let $f \in F[x]$ be an irreducible quintic polynomial with splitting field $K$, where $\mathbb{Q} \subseteq F$. Supposing that $f$ has three real roots ...
5
votes
0answers
121 views

$f$ continuous nowhere implies $f$ not Riemann integrable

I am trying to prove the statement in the title, without using the theorem which says that the set of discontinuities of a Riemann integrable function must have measure $0$. I am aware that similar ...
5
votes
0answers
83 views

representation theorem on the path space

I'm working on a project and have done some work. However, there are some point where I'm unsure if my thoughts are correct. It would be appreciated if someone could share their thoughts about it. ...
4
votes
0answers
33 views

subset of a compact set in $\mathbb{R}$ with nonempty interior has positive outer measure

Let $A\subset I=[a,b] \subset \mathbb{R}$, $a < b$ such that Int$(A) \neq \emptyset$. Show that $A$ has positive outer measure. What I have so far: Since Int$(A) \subseteq A$, by the ...
4
votes
0answers
88 views

Did I correctly derive the scheme for this PDE using the Crank Nicolson Method?

I'm taking an Applied Numerical Methods course this semester, and I was given the following homework problem: Basically, before I begin writing any sort of code, I would like to ensure that I have ...
4
votes
0answers
36 views

Show $\frac{\partial^2}{\partial ^2 x}+ \frac{\partial^2}{\partial ^2 y}= 4 \frac{\partial^2}{\partial z \partial{ \overline{z}}} $

I want to solve the following exercise: Show that: $$\frac{\partial^{2}}{\partial ^{2}x}+ \frac{\partial^{2}}{\partial ^{2}y}= 4 \frac{\partial^{2}}{\partial z \partial{ \overline{z}}} $$ My ...
4
votes
0answers
114 views

$\zeta(2)=\frac{\pi^2}{6}$ proof improvement.

Recently in one of my calculus exercise I have made out a (quite novel to me) proof for $\zeta(2)=\frac{\pi^2}{6}$ via the famous infinite product below: ...
4
votes
0answers
60 views

Prove that for all integers, if $a$ is even and $b$ is odd then $a^{2}+3b$ is odd.

Theorem: For all integers, if $a$ is even and $b$ is odd then $a^{2}+3b$ is odd. So far my proof is as follows: Let $a$ be any even integer Let $b$ be any odd integer By the definition of even ...
4
votes
0answers
47 views

Limit of continuous function

Prove or provide a counterexample: 1) $f: \mathbb{R} \rightarrow \mathbb{R}$ is continuous. If $(a_{n}) = f(n)$ converges to $L$, then $\lim_{x \rightarrow \infty} f(x) = L$. Counterexample: I ...
4
votes
0answers
44 views

My proof of: Every convergent real sequence is a Cauchy sequence.

Is my proof correct? Let $(x_n)_{ n \in \mathbb{N} }$ be a real sequence. $\textbf{Definition 1.}$ $(x_n)$ is $\textit{convergent}$ iff there is an $x \in \mathbb{R}$ such that, for every ...
4
votes
0answers
93 views

Show that a finite group G generated by two elements of order 2 is isomorphic to a dihedral group $D_{2n}$ for some n. (Proof Verification)

Show that a finite group G generated by two elements of order 2 is isomorphic to a dihedral group $D_{2n}$ for some n. (Proof Verification) Proof: Let G be generated by c, b, where $c^2 = b^2 = 1$. ...
4
votes
0answers
149 views

6-digit password - a special decoding method

Consider the situation of decoding a 6-digit password that consists of the symbols A to Z and 0 to 9, where all possible combinations are tried randomly and uniformly. Consider the ...
4
votes
0answers
63 views

$\mu$-clubs and stationary sets consisting of elements with cofinality $\mu$

Let $\mu < \kappa$ be infinite cardinals. A set $C$ is called a $\mu$-club in $\kappa$, if it is unbounded in $\kappa$ and contains all its limit points of cofinality $\mu$. Now let $T \subset S ...
4
votes
0answers
98 views

Compact family of Lip functions under the sup norm metric, proof verification.

Hi everyone I'd like to know if the following is correct, I'd appreciate your opinion and also any suggestion to improve my argument. Thanks in advance for your time. If $(K,d)$ is a compact ...
4
votes
0answers
86 views

$\aleph_\alpha^{\aleph_1} = \aleph_\alpha^{\aleph_0}\cdot 2^{\aleph_1}$ for all $\omega \le \alpha < \omega_1$

I'd like someone to check my proof that $\aleph_\alpha^{\aleph_1} = \aleph_\alpha^{\aleph_0} \cdot 2^{\aleph_1}$ for all $\omega \le \alpha < \omega_1$. First, let's prove that ...
4
votes
0answers
723 views

Proof of separability of Lp spaces

The following is a proof in Brezis book. It shows the separability of $L^{p}$ spaces: I have a few questions regarding the proof. Questions: It says 'it is easy to construct a function $f_{2} ...
4
votes
0answers
73 views

Two question about how to compute this integral limit

Let $f: (-\pi,\pi]\to \mathbb R$ be continuous and let $p_x (u) = {(f(u+x) - f(x)) \cos ({u \over 2}) \over \sin ({u \over 2}) }$. I want to show that $$ \int_{-\pi}^\pi p_x(u) \sin (Nu) du \to 0$$ ...
4
votes
0answers
103 views

If $f_n(t):=f(t^n)$ converges uniformly to continuous function then $f$ constant

Let $f \colon [0,1] \to \mathbb R$ be continuous and let $f_n$ be defined by $$ f_n(x):=f(x^n), \qquad x \in [0,1], \,\, n \in \mathbb N. $$ Suppose there exists a continuous function $g$ on ...
4
votes
0answers
103 views

Proof “correctness” : Cycle structure of conjugate permutations

My Algebra lecturer is a very strict about proofs(w.r.t Completeness , correctness and format ) more so than I have encountered in the past or any of my lecturers of the courses I am take concurrent. ...
4
votes
0answers
58 views

Prove that $\lim\limits_{t \rightarrow 0} \int\limits_{0}^{\infty} e^{-tx} f(x) dx = 1$ for $t>0$.

Suppose $f \in \mathcal{R}$ on $[0,A]$ for all $A < \infty$, and $f(x) \rightarrow 1$ as $x \rightarrow + \infty$. Prove that $\lim\limits_{t \rightarrow 0} \int\limits_{0}^{\infty} e^{-tx} f(x) ...
4
votes
0answers
67 views

Unique representation of a degenerate simplex

I recently learned about simplicial sets, and now I'm studying some basic properties. I've learned that every degenerate simplex is a degeneracy of a unique non-degenerate (nice) simplex. However, I ...
4
votes
0answers
24 views

Integration relating to transported measures

Let $(\Omega,\mathcal{A},\mu)$ and $(\Omega',\mathcal{A}')$ two measurable spaces and $T\colon (\Omega,\mathcal{A})\to (\Omega',\mathcal{A}')$ measurable. Show: If $f\colon ...
4
votes
0answers
755 views

Prove that every separable metric space has a countable base.

A collection $\{V_\alpha \}$ of open subsets of $X$ is said to be a base for $X$ if the following is true: For every $x \in X$ and every open set $G \subset X$ such that $x \in G$, we have $x \in ...
4
votes
0answers
92 views

Find all subgroups of $\mathbb{Z_2} \times \mathbb{Z_2} \times \mathbb{Z_4}$ isomorphic to the Klein $4$-group - Fraleigh p. 110 Exercise 11.12

I tried to fill in the steps but I'm still confounded by this solution. $|\mathbb{Z_2} \times \mathbb{Z_2} \times \mathbb{Z_4}| = 2\cdot2\cdot4$. $order(\mathbb{Z_2} \times \mathbb{Z_2} \times ...
4
votes
0answers
534 views

Finding the Green Function of the upper half ball

Find the Green function of $\Omega:=\left\{x\in\mathbb{R}^n:\lVert x\rVert<R, x_n>0\right\}$ and show that the function you've found is indeed a Green function! You are allowed to use ...
4
votes
0answers
104 views

Order of the Normalizer of a Sylow $p$-subgroup in $S_{p}$

Question: Let $p$ be a prime and $P \leq S_{p}$ with $|P| = p$. Prove that $|N_{S_{p}}(P)| = p(p-1)$. I have already solved this problem, but I have come across a proof that is much more elegant than ...
4
votes
0answers
510 views

Fubini's Theorem for Infinite series

In the book what I've read, there is one point where the author suggest to begin the proof of the Fubini's Theorem for infinite sum in the case when is non-negative after this try to generalize. But ...
4
votes
0answers
347 views

Fixed point of a shrinking map. Proof.

Could you please verify my proof? Let $f:X \to X$ be a shrinking map on a compact metric space $(X,d)$. In other words: $d(f(x),f(y)) < d(x,y)$ for all $x,y \in X$. Prove: $f$ has a unique ...
4
votes
0answers
69 views

Is this proof that $|S_n|=n!$ correct?

I've always heard that it's trivial that $|S_n|=n!$ where $S_n$ is the symmetric group of degree $n$. Now, my proof was the following: consider $I_n=\{1,\dots,n\}$ and consider ...
4
votes
0answers
41 views

General and basic question about convergence of a series

Let $(a_{i,j})_{i,j=1}^n$ be a sequence of real numbers such that the following series converges $$ S = \lim_{n\to\infty}\sum_{i=1}^n\sum_{j=1}^na_{i,j} $$ It is known that for each $i$th the ...