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

learn more… | top users | synonyms (1)

0
votes
1answer
10 views

Vacuous statements and explosion

So my understanding of vacuous statements is as follows: For any statement $P$, the statement $(\forall x \in \emptyset)(P(x))$. This can be argued as follows: Assume for contradiction $\neg [(\forall ...
3
votes
4answers
41 views

If $B\subset A$ and $f:A\to B$ is injective prove it's a bijection between $A$ and $B$

I want to show that if $B\subset A$ and $f:A\to B$ is an injective function then there's a bijection between $A$ and $B$. I believe my "proof" is wrong, I probably use too much "intuition" when I ...
1
vote
1answer
18 views

Projection maps are open

I want to show $p_x: X\times\ Y \to X$ is an open map. Here's my proof: Let $W \subset\ X\times\ Y$ be open subset, then $W = \bigcup U_\alpha \times\ V_\beta$, for $U_\alpha, V_\beta$ are open ...
0
votes
1answer
15 views

How to convert sentence into logic formula

Hi I wanted to know if I have converted this sentence into propositional logic correctly. This is the sentence At least two of the propositions $p$, $q$ and $r$ are true. and this is my answer ...
0
votes
0answers
27 views

Minimizing the error by finding optimum step-size

I need to recheck a proof for minimizing the error by finding optimum step-size. I re-checked the proof many times but still can't find a mistake although the number I am getting in Matlab is not ...
2
votes
1answer
28 views

Geometrically interpreting complex numbers.

Prove that $|e^{i \alpha} - e^{i \beta}| |e^{i \gamma} - e^{i \delta}| + |e^{i \beta} - e^{i \gamma}| |e^{i \alpha} - e^{i \delta}| = |e^{i \alpha} - e^{i \gamma}| |e^{i \beta} - e^{i \delta}|$ ...
1
vote
1answer
23 views

Proof for $x\le -1 \implies x^3-x\le 0$?

Here is my proof: Let $x\in \mathbb{R}$, assume $x\le -1$ Then $x^2\ge 1$ Then $x^3\le -1$ Since $x\le -1$ $x^3\le x$ Then $x^3-x\le 0$ Therefore $x\le -1 \implies x^3-x\le 0$ Therefore ...
0
votes
3answers
45 views

For $\int f < \infty$, the measure of the set of points where $f=\infty$ is zero.

I fear this question was already discussed here, but I was not able to find it. Please remove if it is a duplicate. Prove: For a function $f\geq 0$, if $\int f < \infty$, then the measure of ...
1
vote
0answers
29 views

Variety of the ideal.

Hey I am trying to understand the inclusion $Z(I) \setminus Z(J) \subset Z(I:J)$through the standard definition of a variety (not the closure). I will be borrowing results from this answer. $$Z(I) = ...
6
votes
1answer
62 views

Basic question $|x^2| < 9$

I have a rather basic question. Let's assume that $|x^2| < 9$, where $x\in \mathbb{R}$. Then everyone knows that $x \in$ (-3,3). However, I have trouble arriving at the answer based on basic ...
1
vote
1answer
41 views

Proving the volume of sphere by using tiny volumes

How can I prove the volume of sphere, by using many cones starting at the center of the sphere? It doesn't have to be cones, pyramids also work.
3
votes
2answers
49 views

Construct $f: X\to Y$ such that $f(p)=p$

Let , $X=[-1,1]\times [-1,1]$ and $Y=\{0\}\times \left[-\frac{1}{2},\frac{1}{2}\right]$. Construct an example of a continuous map $f:X\to Y$ such that $f(p)=p$ for each $p\in Y$. I construct a ...
0
votes
0answers
16 views

Give an example of limits that misbehave under conjugation of function

My quest: Find real valued functions $f(x)$ and $g(x)$ such that $f \rightarrow b$ as $x\rightarrow a$ and $g\rightarrow c$ as $x\rightarrow b$ but $g(f(x)) \nrightarrow c$ as $x\rightarrow a$ I ...
0
votes
1answer
24 views

Strictly monotone functions and continuity

Let $f : X \to I$ be a strictly monotone surjective function mapping $X \subseteq \mathbb{R}$ to an interval $I \subseteq \mathbb{R}$. Then is $f$ necessarily continuous? Without loss of ...
0
votes
1answer
22 views

Real Analysis, Folland 3.4.26, Differentiation on Euclidean Space

Background Information - A Borel measure $\nu$ on $\mathbb{R}^n$ will be called regular if i.) $\nu(K) < \infty$ for every compact $K$ ii.) $\nu (E) = \inf\{\nu(U): E\subset U, U \ ...
2
votes
4answers
38 views

Showing that Harmonic numbers are $\Theta(\log n)$, intuitively

I wish to verify that Harmonic numbers $H_n = \sum_{k=1}^{n} \frac{1}{k}$ are $\Theta(\log n)$. One idea I have is to approximate the sum with an integral: $$\int_{1}^{n} \frac{1}{k} ~dk = \log(n) - ...
4
votes
0answers
30 views

Find all real $x$ such that $1990[x] +1989[-x]=1$ (where $[x]$ is the floor function for $x$).

Find all real $x$ such that $1990[x] +1989[-x]=1$ (where $[x]$ is the floor function for $x$). My effort Rearranging our equation we have : \begin{array}{c} 1990[x]+1989[-x]&=1 \\ ...
0
votes
2answers
27 views

Congruence problem $12x\equiv3\pmod{45}$ [on hold]

$$12x\equiv3\pmod{45}$$ Find all possible solutions to above congruence and show procedure in detail.
0
votes
0answers
34 views

Probability that a given function is prime…

If we have a set of primes $p_1$, $p_2$, ... , $p_n$, we can easily construct a function of their product: $$f(\alpha) = \alpha \left( \prod_{k=1}^n{p_k} \right) + 1, \alpha \in \mathbb{N}$$ I'm ...
0
votes
1answer
24 views

Limit of a sequence of measurable functions is measurable: alternative proof

If $f_n$ is an infinite sequence of measurable functions, let $\lim\limits_{n \rightarrow \infty} f_n(x) = f(x)$. Prove that $f$ is measurable. The proof (as I was taught it) is as follows. If ...
0
votes
1answer
57 views

Is there anything wrong in the following proof?

Problem. Let $(X,d_X)$ and $(Y,d_Y)$ be two metric spaces and let $U\subseteq X$ and $V\subseteq Y$ such that $U$ and $V$ are respectively open in $X$ and $Y$. Show that $U\times V$ is open in ...
-6
votes
0answers
33 views

Prove that $\sqrt 5$ is irrational given that Let $n$ be an integer. [on hold]

Prove that $\sqrt{5}$ is irrational given that Let $n$ be an integer. Prove that if $5|n^2$ then $5|n$. Hint: consider the contrapositve and consider cases. Also I considered the fact that $n$ cannot ...
0
votes
2answers
37 views

What is my mistake

Spot my mistake: $$\frac{\left(\text{P}_1+\text{P}_2+\dots+\text{P}_n\right)-\left(\text{Z}_1+\text{Z}_2+\dots+\text{Z}_n\right)}{n-m}\le-\ln(50)$$ ...
1
vote
1answer
43 views

Linear Alg. Short proof on determinant

Hi can I get a quick check on my proof to see if it is correct. proof
0
votes
2answers
41 views

Suppose $1>a_n>0$ for $n\in \mathbb{N}$. Prove that $\prod_{n=1}^\infty (1-a_n)$ converges if and only if $\sum_{n=1}^\infty a_n<\infty$.

Suppose $1>a_n>0$ for $n\in \mathbb{N}$. Prove that $$\prod_{n=1}^\infty (1-a_n)$$ converges if and only if $\sum_{n=1}^\infty a_n<\infty$. I know this question is similar to one I just ...
0
votes
4answers
76 views

Is this argument valid for a proof?

Please kindly forgive me if my question is too naive, i'm just a prospective undergraduate who is simply and deeply fascinated by the world of numbers. My question is: Suppose we want to prove that ...
2
votes
1answer
46 views

Deductive logic counter-intuitive result

I am working on a small proof in deductive logic. Here is what must be proved: $(\exists x \in T \mid A \implies P(x)) \implies A \implies (\forall x \in T \mid P(x))$ To me that looks unprovable ...
0
votes
1answer
14 views

Uniformly convergent in a set implies uniformly convergent in the set closure, too.

Let $f_n$:$X\rightarrow \mathbb{R}$ be a sequence of functions uniformly convergent in $X\subseteq \mathbb{R}$ . Suppose that each $f_n$ is continuous in the closure of $X$. Then $f_n$ is also ...
3
votes
1answer
47 views

Differential equation where Picard-Lindelöf can not be applied

My question is the following : Let $f:\mathbb{R}\to\mathbb{R}$ be continuous function and let $u:[a,b]\to\mathbb{R}$ be a $C^1$ function such that $$\forall t\in[a,b],u'(t)=f(u(t))\text{ and ...
1
vote
1answer
51 views

Hartshorne Exercise II.2.18(d)

The Exercise: Let $\phi: A \rightarrow B$ be a ring homomorphism and let $X = \operatorname{Spec} A, Y = \operatorname{Spec} B$. Let $f: Y \rightarrow X$ be the morphism of schemes induced by $\phi$. ...
0
votes
1answer
40 views

Finding a closed formula for: $1\cdot2\cdot3+2\cdot3\cdot4+…+(n-2)\cdot(n-1)\cdot(n)$ [duplicate]

As I calculated the sum of the serie above doesn't exist(sum doesn't converge). How can I prove it using the double computing(combinatorical method)?
2
votes
3answers
64 views

Alternative Proof that $\sqrt{p}$ is Irrational when $p$ is Prime

I have found various proofs that $\sqrt{p}$ is irrational on this site, but I didn't find one similar to the one that I am about to post, so I am wondering if it is free of logical problems. Here is ...
0
votes
0answers
29 views

How to calculate the length of this plane curve (loxodrome/rhumb line)?

I am trying to calculate the length of a (what I believe is) a loxodrome, using differential geometry. I am given a curve $\gamma(t)=\big(\theta(t),\varphi(t)\big)\subset \mathbb S^2$ that ...
3
votes
0answers
29 views

Properties of the Discrete Logarithm Problem

I am self-studying Hoffstein's An Introduction to Mathematical Cryptography, and this is problem 2.3 (p. 107-08). Let $p$ be a prime and $g$ an element in $\mathbb{F}_p^*$ with order $r$. ...
0
votes
1answer
20 views

Prove regular expression with induction

I need help proving the following regular expression via induction. I have the base case (easy of course) but I'm having a difficult time determining the inductive case. A regular expression over ...
3
votes
3answers
86 views

Solve the equation $7t+[2t] =52 $ ,where $[x]$ denotes the floor function for $x$.

Solve the equation $7t+\left\lfloor 2t\right\rfloor =52 $. My effort Using the fact that for any number $x$ we have that $x=\left\lfloor x\right\rfloor+\{x\}$ (where $\{x\}$ is the fractional ...
0
votes
1answer
30 views

Prove $(H \times 1)(1\times K)= H\times K$ where $H,K$ are groups.

Prove $(H \times 1)(1\times K)= H\times K$ where $H,K$ are groups. Suppose $x=ab,a\in H\times 1,b\in 1\times K$ Then $x=(h,1)(1,k)$ where $h\in H,k\in K$ Hence $x=(h,k)\in H\times K$ Let ...
0
votes
2answers
53 views

Proof Verification: If $x$ is a nonnegative real number, then $\big[\sqrt{[x]}\big] = \big[\sqrt{x}\big]$

Let $x$ be a nonnegative real number and denote $[x]$ as the greatest integer less than or equal to $x$. We will attempt to prove that $\big[\sqrt{x}\big] = \big[\sqrt{[x]}\big]$. First suppose that ...
0
votes
0answers
53 views

Hypothetical proof of Goldbach's conjecture? [on hold]

Goldbach's conjecture: Every even number greater than 4 is the sum of two prime numbers. An equivalent statement is; For all $n\geq 2$ there exists a number $e(n)$ such that $n-e(n)$ and ...
3
votes
1answer
37 views

Proof Verification: Show that $\Big[\frac{x+n}{m}\Big] = \bigg[\frac{[x]+n}{m}\bigg]$

Let $m,n \in \mathbb{Z}$ and let $x \in \mathbb{R}$. Let $[x]$ denote the floor function. We will attempt to prove $$\Big[\frac{x+n}{m}\Big] = \bigg[\frac{[x]+n}{m}\bigg]$$ Suppose without loss of ...
3
votes
2answers
86 views

Prove that $\lim_{x\rightarrow \infty} \frac{x^2 - 1}{x^2 + 1} = 1$ using definition of limit.

Ok, so if I have to use definition, then I should prove something like this: $(\forall \epsilon >0)(\exists k>0)(\forall x \in X)$ then if $ x>k$ then $|f(x) - L| <\epsilon$ $L$ is ...
1
vote
2answers
48 views

If $\frac{ay-bx}{p}=\frac{cx-az}{q}=\frac{bz-cy}{r} $

If $$\frac{ay-bx}{p}=\frac{cx-az}{q}=\frac{bz-cy}{r}$$, prove that : $$\frac{x}{a}=\frac{y}{b}=\frac{z}{c}$$ My solution, $$\frac{c(ay-bx)}{cp}=\frac{b(cx-az)}{bq}=\frac{a(bz-cy)}{ar}$$. Now, I could ...
1
vote
2answers
26 views

Product of terms involving complex exponents [on hold]

I have worked out the $\prod_{k = 1}^{50}i^k$. I get answer is $-i$. Is it correct?
0
votes
2answers
53 views

Prove or disprove: For non-negative integers $m$ and $n$, $m!n! = (mn)!$

I have rewritten the question as "If $m$ and $n$ are non-negative integers, then $m!n!$ = $(mn)!$" Here is my current attempt. I am not sure if I am on the right path. Proof. Let $m$ and $n$ be ...
-4
votes
4answers
74 views

Find $A$ and $B$ such that $A⊈B$ and $B⊈A$? [on hold]

I need to prove that the subset relation “$⊆$” on all subsets of $\mathbb Z$ is not a total order and I'm going to do this by finding $A$ and $B$ such that $A⊈B$ and $B⊈A$? Is there a simple solution ...
0
votes
1answer
71 views

Does this prove the sequence $5+(-1)^n$ does not have a limit?

The question is "Consider the sequence $s_n=5+(-1)^n$. Prove that this sequence does not have a limit". My professor in class proved this by choosing $n_1$ to be even, $n_2$ to be odd, and ...
21
votes
7answers
3k views

What is the flaw of this proof (largest integer)?

Let $n$ be the largest positive integer. Since $n ≥ 1$, multiplying both sides by $n$ implies that $n^2 ≥ n$. But since $n$ is the biggest positive integer, it is also true that $n^2 ≤ n$. It follows ...
3
votes
3answers
48 views

Find the area of the region described by $|5x|+|6y| \le 30 $

Find the area of the region described by $|5x|+|6y| \le 30 $ (where $|z|$ denotes the absolute value of $z$). My effort Imagining a number line and interpreting the problem as the request to ...
0
votes
1answer
45 views

Using pumping lemma

I'm trying to prove that the language $\mathcal L = \{w \in \{0,1\}^* ∣ w \leq w′ \text{ where }w′ \text{ is any rotation of }w\}$ is not a regular language. Note: The inequality is with respect to ...
2
votes
1answer
70 views

Would you confirm this as a proof to the Pythagorean theorem?

I'm new in mathematics, and trying to build my way up starting by doing simple tasks. My current one is proving the Pythagorean theorem without looking it up. This photo contains my current "proof" ...