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

learn more… | top users | synonyms (1)

1
vote
2answers
54 views

Compute the maximum of $|f(z)|$ when $|z| \leq 1$ and $f(z)=\sin (z)$ [duplicate]

Compute the maximum of $|f(z)|$ when $|z| \leq 1$ and $f(z)=\sin (z)$ So since $f$ is holomorphic on $|z| \leq 1$, we know we'll find the max of $|f(z)|$ on $|z|=1$. So: ...
0
votes
1answer
54 views

Spivak Ch1 Proof Critiques

I've started working through Spivak's Calculus. I'm going into senior year after this summer, took the AP Calculus BC test last year, and wanted to get a firmer foundation in calculus before I take ...
0
votes
1answer
29 views

$\lbrace \lim f_n(x) \rbrace$ is a Borel set if each $f_n$ is borel

Suppose for all $n$ that $f_n:\mathbb{R}\to \mathbb{R}$ is Borel measurable. What follows is an attempt of the proof that $\lbrace x: \lim_{n\to \infty} f_n\rbrace$ is Borel measurable, but I am a bit ...
7
votes
2answers
115 views

Proof that if $a,b \in G$ and $a^4b = ba$ and $a^3 = e$ then $ab = ba$

I tried to prove one of the examples in my Abstract Algebra book that stated: Prove that if $a,b \in G$ and $a^4b = ba$ and $a^3 = e$ then $ab = ba$ I went about just saying that $a^4b = ba ...
2
votes
2answers
56 views

Prove that if $Z(G) = \lbrace x \in G: gx = xg \text{ for all }g\in G\rbrace$ then $Z(G)$ is a group

So my challenge is: Prove that if $Z(G) = \lbrace x \in G: gx = xg \text{ for all }g\in G\rbrace$ where $G$ is a group, then $Z(G)$ is a group Unlike this question: To show that the center is a ...
3
votes
1answer
31 views

Characterization of subsets of $\mathbb{R}^n$ of the form $X+Y$

The following comes from the mathematical tripos exam at Cambridge: Let $X,Y \subset \mathbb{R}^n$, and define $X+Y = \{x+y : x \in X, y \in Y\}$ Prove or disprove each of the following: (i) If ...
1
vote
2answers
82 views

Proof that odd perfect numbers cannot consist of single unique factors?

I'm a high school student, so please point out my mistakes nicely :) So we already know odd perfect numbers cannot be in the form of a square, but how about that they cannot be in this form: ...
0
votes
0answers
55 views

How to check whether the following function is concave or convex or neither.?

Let $\pi$ be a vector such that all its elements sum to 1. i.e, $\sum_1^n \pi(i) = 1$ where $\pi(i)$ denotes the i$^{th}$ component and $n$ is the length of the vector. Let $D$ be a diagonal matrix ...
5
votes
1answer
57 views

Understanding a part of a proof involving Hilbert-Schmidt norm

I came across a proof I do not seem to understand fully, a screenshot is provided below. my concerns are the following: Why does the fact that $||T||_2 = ||UT||_2$ for every unitary U, allow us ...
3
votes
2answers
80 views

Proving that $\sum_{i=2}^n(5i-4)=\frac{n(5n-3)-2}{2}$ for all $n\geq 1$ by mathematical induction

I have this question: Show, using mathematical induction, that for all natural numbers $n$, $$6 + 11 + 16 + 21 + \cdots + (5n-4) = \frac{n(5n-3)-2}{2}$$ I am confused in that that question states ...
0
votes
0answers
33 views

Mean Value Inequalities for vector-valued functions

Let $X$ and $Y$ be Banach spaces, and let $U\subset X$ be open. If $f\colon U\to X$ is continuously differentiable and $x,v\in X$ are such that the line segment $\ell=\{x+tv\mid t\in[0,1]\}$ lies ...
0
votes
1answer
290 views

Approximation formula for third derivative, is my approach right?

Derive by using Taylor approximation up to 4th degree (in $h$) of $f$ in $x_0 \pm h$, $x_0\pm 2h$ at $x_0$, an formula for approximation of $f'''(x_0)$ with an error term of order $h^2$. Could ...
2
votes
1answer
33 views

Prove that if $f$ is an invertible function and $g$ is an inverse, then the codomain of $g$ is equal to the domain of $f$ and vice versa

I am trying to show, without using the bijection properties, what is above. Assume $f$ is an invertible function and $g$ is an inverse of $f$. For $f \circ g $ to be well defined then the image of ...
2
votes
2answers
47 views

Proof that $n\Bbb Z \leq \Bbb Z$ and are the only subgroups of $\Bbb Z$

My challenge is Prove that if $n = 0,1,2,\ldots$ and $n\Bbb Z = \lbrace nk: k \in \Bbb Z \rbrace$, show that $n\Bbb Z$ is a subgroup of $\Bbb Z$ and are the only subgroups. I handled the first ...
5
votes
1answer
48 views

Multiplying two inequalities

Suppose we have two inequalities $$a\leq x\leq b\tag{1}$$ $$c\leq y\leq d\tag{2},$$ where $a,b,c,d>0$. Then can I conclude that $$ac\leq xy\leq bd\quad ?$$ My attempt: Since $a,b,c,d>0$ and ...
3
votes
3answers
73 views

The equation of a tangent to a circle at a given point

18. Show that the equation of the tangent $PT$ at the point $P \left(\frac{1}{5}, \frac{3}{5}\right)$ on the circle $$x^{2} + y^{2} + 8x + 10y - 8 = 0$$ is $3x + 4y - 3 = 0$. Find ...
1
vote
2answers
464 views

Proof of the right and left cancellation laws for Groups

I was asked to proof the right and left cancellation laws for groups, i.e. If $a,b,c \in G$ where $G$ is a group, show that $ba = ca \implies b=c $ and $ab = ac \implies b = c$ For the first ...
1
vote
0answers
54 views

Ito's lemma - mistake in text book?

Ito gives us $$dW = \dfrac{dW}{dX} dX + \left(\frac{dW}{dt} + \frac{1}{2} \frac{d^2W}{dX^2}\right) \, dt$$ We have a function $W(t) = 1 + t + E^{X(t)}$. My text book says that $$dW = e^{X(t)} \, dX + ...
2
votes
1answer
31 views

Proof that an archimedean absolute value on $\mathbb Q$ is equivalent to $|\ |_\infty$

I have included a bolded comment in a step in the part of Gouvea's proof of Ostrowski's theorem where he shows that an archimedean absolute value on $\mathbb Q$ is equivalent to $|\ |_\infty$ (the ...
5
votes
5answers
76 views

Show $\sum n e^{-na}$ converges for $a>0$

Is there any test or property in particular I can use to show $ \sum n e^{-n a}$ is convergent for $a>0$ ? I think it is obvious that from looking at the function that this is convergent, since ...
2
votes
1answer
73 views

Showing Uniform convergence of $\frac{n x}{1 + n \sin(x)}$

I want to prove for all $a\in \left(0,\frac{\pi}{2}\right]$, $ \ f_n\to f$ uniformly on $\left[a,\frac{\pi}{2}\right]$. Also, how is this different from $f_n \to f$ uniformly on $\left(0, ...
2
votes
0answers
46 views

normal squared characteristic function derivation

I'm trying to derive the normal squared characteristic function, there's already a question on this but the answer has a part which is "proved as an excercise" which I try to do here. Is my proof ...
2
votes
1answer
28 views

Proof that there exists an $x \in G$ such that $xa = b$

So this is my challenge: Let $G$ be a group and $a,b \in G$. Then $xa = b$ has a unique solution I went about saying that $xa = b \iff xaa^{-1} = ba^{-1} \iff x = ba^{-1}$. $ba^{-1} \in G$ ...
3
votes
0answers
39 views

Why is this class closed under difference?

We have two independent random variables $X\perp Y$ involving three spaces: $(\Omega,\mathcal{A},P), (E,\mathcal{E}), (F,\mathcal{F}).$: $$X:\Omega \rightarrow E,\ Y:\Omega\rightarrow F$$ My book says ...
1
vote
0answers
36 views

Isometry algebra implication from Riemannian covering

I really wish that, if $\pi:(M,\mathrm{g})\twoheadrightarrow(N,\mathrm{h})$ is a Riemannian covering, then $\mathfrak{i}(N,\mathrm{h})\leq\mathfrak{i}(M,\mathrm{g})$, where ...
0
votes
0answers
31 views

Definition of normal sets and compactness

I am struggling a little bit with this notion. In Conway's Functions of One Complex Variable, he offers the definition: A set $\mathscr F \subset C(G,\Omega)$ is "normal" if each sequence in ...
1
vote
1answer
384 views

How many different ways are there to organize 2 groups?

In how many different ways can you split 10 people into two groups with the same amount of people? My attempt: Since the order in which you choose someone doesn't matter, I chose to calculate the ...
0
votes
1answer
33 views

Give an L-formula ϕ4(x) that defines the interval [1,√2) ⊂ R in M.

Let L = {+, · P} where + and · are binary function symbols and P is a unary predicate symbol, and let M be an L-structure where its domain |M| is the set R of real numbers, + and · are the usual ...
2
votes
0answers
45 views

Continuous function on compact subset of $\mathbb R$ to itself has a fixed point.

Let $f:[a,b] \to [a,b]$ be continuous. Then $f$ has at least a fixed point. I read the following proof from Limaye book. Define $F(x)=f(x)-x.$ Since $a \leq f(x) \leq b,\ \quad F(a)\leq 0 \ \quad ...
2
votes
1answer
75 views

Can the expression $6^{2n} - 25$ be a prime for all $n \geq 2$?

Can the expression $6^{2n} - 25$ be a prime for any $n \geq 2$? My attempt to solve the problem: No, it cannot. $6^{2n} - 25 = (6^{n})^{2} - 25 = (6^{n})^{2} - 5^{2} = (6^{n} + 5)(6^{n} - 5)$ And ...
0
votes
3answers
82 views

For a function Y : X→X , if Y is injective, then Y∘Y∘Y is injective.

For a function Y : X→X , if Y is injective, then Y∘Y∘Y is injective. My attempt: Using contrapositive, if Y is not injective. then Y ∘ Y is not injective, the there exist x, x' ∈ X with x ≠ x' but ...
1
vote
1answer
39 views

Cases of $A^2 = -I$. Why is there a contradiction when reusing this proof?

I had to prove that $\nexists ~A \in M_{3,3}(\mathbb R) : A^2 = - \mathbb I.$ I argued $$\iff A=-A^{-1}$$ $$\iff \det( A)=\det(-A^{-1})$$ $$\iff \det( A)=(-1)^n\det A^{-1}$$ $$\iff \det (A) + \det ...
0
votes
2answers
71 views

Let S be the set of stars in our galaxy. There is same number subsets as functions f : S --> {a,b}? [duplicate]

Question: Let $S$ be the set of stars in our galaxy. There is exactly the same number of subsets of stars in our galaxy as there are functions $f:S \to \{a,b\}$ . My solution is; True.However, I'm ...
0
votes
1answer
119 views

Mathematical Induction. Horses made me question my understanding [duplicate]

I recently read about the false inductive proof that all horses are the same colour. There are some mathSE threads about this already (MathSE_thread_1, MathSE_thread_2). After reading this, I now ...
3
votes
1answer
54 views

If $q^k n^2$ is an odd perfect number with Euler factor $q^k$, can $q = 73$ hold?

Call a number $N$ perfect if $\sigma(N)=2N$ where $\sigma$ is the classical sum-of-divisors function. If $N = q^k n^2$ is an odd perfect number, can $q = 73$ hold? Here is my attempt: Since ...
3
votes
0answers
54 views

Order of prime ideals over split primes in the class group.

Let $P$ be a prime ideal of $\mathcal O_K$ ($K$ a quadratic field) and let $P$ have norm $p$ where $p$ is a split prime. Is it possible for the ideal class $[P]$ to have order less than three? I feel ...
3
votes
0answers
38 views

Does $[E:F]=|Aut(E/F)|$ imply Galois extension?

Let $E/F$ be a finite field extension such that $[E:F]=|Aut(E/F)|$. Then, is $E/F$ Galois? Even though I have proven it, I'm not sure of it. Is this really true? Here's how I proved it: Let $\bar ...
1
vote
5answers
117 views

There exist a set $X$ such that the number of function $y: x\to \{1,2,3\}$ is $1000$.

There exist a set $X$ such that the number of function $y: x\to \{1,2,3\}$ is $1000.$ My attempt: False, Let set $z = \{1,2,3\}$ then $|z|^{|x|}$ is set of function $y:x\to z.$ $|x| = n$ and $|z| = ...
1
vote
0answers
32 views

Is there any mistake? Proof related to the Poisson summation formula.

I need to prove the following statement: Let $\varphi \in C(\Bbb R)$ with compact support. Then, $$ \Big \Vert \sum_{k\in \Bbb Z} \varphi(k) e^{ikx} \Big \Vert_{L_1(0,2\pi)} \leq C \Vert ...
0
votes
0answers
45 views

Show $\lim_{n\to\infty}(Lu_n) = L(\lim_{n\to\infty} u_n)$

Suppose $\{u_n\}$ is a convergent sequence in Hilbert space $H$ and $L$ is a bounded (continuous) linear operator on $H$. Use the definition of convergence to show that $\lim_{n\to\infty}(Lu_n) = ...
2
votes
1answer
43 views

Are the extrema of this function global or local?

Last question about this function, I promise. The function $f: \mathbb R \rightarrow \mathbb R$ is given by $$f(x) = \begin{cases} \frac{x^2+5x+7}{x+3} & \mathrm{for} \; x < -3 \\ 0 & ...
1
vote
1answer
28 views

Is this proof correct for $p_1\times p_2 \mod k = p_3$?

I am trying to prove that if $\gcd(p_1, k) = \gcd(p_2, k) = 1$, then $$\gcd(r, k) = 1$$ where $r = p_1\times p_2 \mod k$. This fact is essential to guarantee that a unit group $U(n)$ of a group ...
0
votes
2answers
35 views

Prove that a function $f:X \to Y $ is injective if and only if $\forall x_1, x_2 \in X$ where $f(x_1) = f(x_2)$ implies that $x_1 = x_2$

Prove that a function $f:X \to Y $ is injective if and only if $\forall x_1, x_2 \in X$ where $f(x_1) = f(x_2)$ implies that $x_1 = x_2$ Taking the contrapositive we get (this is the step I'm a ...
3
votes
4answers
76 views

Is this a valid way of solving modular equations?

Some of the exercises in my abstract algebra textbook involve solving congruence equations, for example $$5x \equiv 1 \pmod 6$$ I convert that to a linear equation by rewriting $$x = \frac{k6+1}{5} = ...
2
votes
1answer
46 views

Why this set is the pole set of $z$?

Suppose $V\subset \mathbb P$ a projective variety, $z$ a rational function on $V$ and let's define $J_z=\{F\in k[X_1,\ldots, K_{n+1}\mid \overline Fz\in \Gamma_h(V)\}$ and $S_z$ the polo set of $z$, ...
0
votes
2answers
32 views

Continuous and bounded - Check my proof please

Let $f : [0, ∞) → \mathbb{R}$ be continuous such that $\lim_{x→+∞} f(x) = 0$. Prove that $f$ is bounded on $[0, ∞)$ By our hypothesis and the definition of continuity, given $ c \in [0, \infty), ...
1
vote
2answers
86 views

Legendre symbol, a theoretical question.

I need to show that if $p$ is a prime number of the form $p=4m+1$, then for any divisor $d$ of $m$: $$\left(\frac{d}{p} \right) = 1$$ where $\left(\frac{d}{p} \right)$ is the Legendre symbol. My ...
0
votes
1answer
31 views

Trying to integrate the volume of a body

I was trying to integrate the volume of a body blocked by $z=0$, $z=2x$, $x+y=3$ and $y=0$ using the double integral... but I don't really know how to approach this.
0
votes
2answers
65 views

Volume by double or triple integral?

I was trying to integrate the volume of a body blocked by $z=0,\; z=2x,\; x+y = 3$ and $y=0$ using the double integral... however it didn't work yet. I'm convinced its a double integral and not a ...
0
votes
1answer
49 views

Is the function continuous and differentiable at $x=-2$?

The function $f: (-3, \infty) \rightarrow \mathbb R$ is given by $$f(x) = \begin{cases} \frac{x^2+5x+7}{x+3} & \mathrm{for} \; -3 < x < -2 \\ 1 & \mathrm{for} \; x = -2 \\ ...