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

learn more… | top users | synonyms (1)

0
votes
1answer
32 views

Is this proof correct? Show $\mathbb{Q}$ is dense in $\mathbb{R}$

I like proof by contradictions in showing that $\mathbb{Q}$ is dense in $\mathbb{R}$. But I can't understand this one> https://math.dartmouth.edu/archive/m54x12/public_html/m54densitynote.pdf ...
0
votes
1answer
17 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
59 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
20 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 ...
1
vote
0answers
28 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 ...
1
vote
3answers
48 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
32 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
23 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
31 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
34 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
50 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
54 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
54 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 ...