For questions about the formulation of a proof, not about the mathematics behind it.

learn more… | top users | synonyms

0
votes
0answers
8 views

A partition of unity of a topological space

I have troubles in a little part of the following proposition. Let $(X,\tau)$ be a topological space and $\Im=\left\{U_{\alpha}\right\}_{\alpha \in I}$ an open cover of $X$. If $\Im$ has a locally ...
0
votes
0answers
26 views

Other simple proofs involving inequalities - when is it enough?

$\forall a \in$ $\mathbb R$: Prove that $a^2 \ge 0$ Does it suffice to say that $a^2 \gt 0$ or $a^2 = 0$, which means that $a \gt 0$ or $a \lt 0$, or $a= 0$? $\forall a,b,c \in \mathbb{R}$: $ a \...
0
votes
0answers
4 views

Is collection of all functions I-convergent to a point form a ring?

$S$ be a set. $I$ is an ideal of $S.$ $X$ is a topological space. A function $$f: S\rightarrow X$$ is said to be $I$-convergent to a point $x\in X$ if $$f^{-1}(U)=\{ s\in S; f(s)\in U\}\in \mathscr F(...
1
vote
0answers
22 views

$\Bbb{R}^{\Bbb{N}}_{\square}$ is not ccc

Consider $\Bbb{Z}^{\Bbb{N}} \subseteq \Bbb{R}^{\Bbb{N}}$. The set $\Bbb{Z}^{\Bbb{N}}$ is uncountably infinite, since $|\Bbb{Z}^{\Bbb{N}}|$ = $|\Bbb{Z}|^{\Bbb{|N|}}$ = $\aleph_0^{\aleph_0}$ > $2^{\...
0
votes
0answers
23 views

Tietze Extension Theorem - How does the induction work?

I am reading a version of the Tietze Extension Theorem here: https://proofwiki.org/wiki/Tietze_Extension_Theorem There was a Lemma that says: And then it was repeatedly applied: How was the ...
1
vote
0answers
19 views

Style guide/typeface for handwritten mathematics

When writing math on graph paper, it's a small struggle to make my work as legible as possible and also use the page as efficiently as possible. I've read a little online about how latex typesets, ...
5
votes
4answers
403 views

APICS Mathematics Contest 1999 Prove that trigonometric function is constant

This is question 3 from the APICS Mathematics Competition paper of 1999: Prove that $$\sin^2(x+\alpha)+\sin^2(x+\beta)-2\cos(\alpha-\beta)\sin(x+\alpha)\sin(x+\beta)$$ is a constant function of $x$...
3
votes
3answers
26 views

When letting an element be an arbitrary member of a set $A$ do I have to account for $A =\emptyset$?

When letting an element be an arbitrary member of a set $A$ do I always have to account for $A =\emptyset$? E.g., if I wanted to prove (an incorrect) theorem $$ \forall A,B,C,D : A \times B \...
1
vote
3answers
32 views

Show that anti-metric space can only have one point

Let's define new object. Given $X$ a set: Let anti-metric be defined as: $b: X\times X \to \mathbb{R}$ such that: $b(x,y)\ge 0, \thinspace \forall x,y \in X$ $b(x,y)=0\Rightarrow x=y$ $b(x,y) = b(y,...
3
votes
3answers
36 views

What is the proper usage of $f: X \to Y$ and $f: \mathcal{P}(X) \to \mathcal{P}(Y)$ in proof writing.

I have read somewhere that suppose we are given a $$f: X \to Y$$ then $f$ is further associated with $$f: \mathcal{P}(X) \to \mathcal{P}(Y)$$ Does "associated" here means extended to a set valued ...
2
votes
2answers
27 views

The Greatest Number of Edges on a Bipartite Graph

Let $G$ be a bipartite graph on $p$ vertices. Find a formula in terms of $p$ that determines the greatest number of edges that $G$ could have. Prove that this formula is correct. Let $V$ be the set ...
0
votes
1answer
19 views

Show that $\bigcap_{\alpha} A_{\alpha}\times \bigcap_{\beta} B_{\beta}=\bigcap_{(\alpha,\beta)} A_{\alpha}\times B_{\beta}$

Show that $\bigcap_{\alpha} A_{\alpha}\times \bigcap_{\beta} B_{\beta}=\bigcap_{(\alpha,\beta)} A_{\alpha}\times B_{\beta}$ Surely this question is a duplicate but I dont know how to search these ...
2
votes
3answers
50 views

Proof related to Harmonic Progression

The question is as follows: Let $m_1<m_2<m_3<\cdots<m_k$ be postive integers such that $\frac{1}{m_1}$, $\frac{1}{m_2}$, $\frac{1}{m_3}$, $\cdots$, $\frac{1}{m_k}$ are in arithmetic ...
0
votes
0answers
16 views

How to prove in $r_1p_1 +r_2p_2 =u\gcd(p_1,p_2)$, $u$ is a uniformly random polynomial.

Hypothesis: All polynomials are defined over a finite field $\mathbb{F}_p$, where $p$ is a large prime number (e.g. 128-bit prime number). Assume we have two fixed polynomials $p_1$ and $p_2$ of ...
3
votes
0answers
35 views

Derivative of Exponential map on manifolds

I'm trying to compute the derivative of the map $f:\Sigma\times [0,\delta)\to M$ given by $$f(p,t)=\exp_p tN(p),$$ in $X\in T_p\Sigma$, where $(M^n,g)$ is a Riemannian manifold, $\Sigma\subset M$ a ...
0
votes
2answers
37 views

How to describe “the digits of n” mathematically where n is an integer?

Suppose n = 12345 The sum of the digits of n = 1 + 2 + 3 + 4 + 5 = 15 For example, in Python, we might isolate the digit 1 by writing n[0]. How would one represent the digits of n mathematically?
0
votes
0answers
12 views

proof of preimage of union and intersection of sets

I was learning to proof the following proposition "the inverse image of an intersection or union equals the intersection or union of the inverse image" following these two really good youtube videos: ...
0
votes
1answer
37 views

How to construct a proof once we intuit a solution

For any integer N, there is an integer P such that one of the following is true: N = 10P N = 10P + 1 N = 10P + 2 N = 10P + 3 N = 10P + 4 N = 10P + 5 N = 10P + 6 N = 10P + 7 N = 10P + 8 N = ...
0
votes
0answers
54 views

Challenging Series example [duplicate]

Let $\{x_n\}$ be a decreasing sequence such that the series of $x_n$ converge. Show that the limit as $n$ approaches infinity of $\{nx_n\}$ equals zero.
1
vote
1answer
33 views

Box topology is finer than the uniform topology on $\mathbb{R}^\mathbb{N}$

This time, I wish to show that the box topology is finer than the uniform topology on countable Cartesian products on $\mathbb{R}$ denoted $\mathbb{R}^\mathbb{N}$ However, the problem here is that ...
1
vote
1answer
26 views

Uniform topology is finer than the product topology on $\mathbb{R}^\mathbb{N}$

I wish to show that the uniform topology is finer than the product topology on countable Cartesian products on $\mathbb{R}$ denoted $\mathbb{R}^\mathbb{N}$ We know both spaces are metrizable: The ...
1
vote
3answers
41 views

Show $d_2(f,g) = \sqrt{\int\limits_0^1 |f(x) - g(x)|^2 dx}$ is a metric on $C[0,1]$

I am surprised that this question hasn't been asked on here I need to show that $$d_2(f,g) = \sqrt{\int\limits_0^1 |f(x) - g(x)|^2 dx}$$ is a metric on $C[0,1]$ Proof: As usual, positive ...
0
votes
3answers
33 views

How to show that any separable space is CCC

I thought I had the proof of this in my head, but it doesn't sound right on paper. Can someone see if my argument could be improved. Let $(X,\tau)$ be a topological space that is separable, then it ...
1
vote
1answer
35 views

Discrete Math Proof verification: products of floor

Determine if the following is true or false and provide a proof: $\forall x\in\mathbb{R},\exists y\in\mathbb{R}$ so that $\lfloor xy\rfloor = \lfloor x\rfloor \lfloor y\rfloor$ My attempt: -The ...
1
vote
2answers
19 views

Show that any metrizable space $X$ is regular

This is a quick follow up to another question Show that any metrizable space $X$ is Hausdorff Recall, a topological space $(X,\mathcal{T})$ is regular if we can separate any point $x$ from ...
1
vote
2answers
81 views

Proving the Baire Category Theorem from scratch, Stuck!

Theorem: (Baire) $(X,d)$ is a complete metric space then the intersection of countably many dense, open subsets in the metric topology $\mathcal{T}$ generated by $d$ is dense In other ...
2
votes
2answers
81 views

Are theorems like subroutines for math? [closed]

I've been developing more appetite for math just lately, as I study electromagnetics to deepen my understanding of electric circuits and devices. I'm finding that doing derivations as exercises helps ...
1
vote
2answers
42 views

Suppose X~Y, Prove that P(X) ~ P(Y)

My attempt: I imagined that if two sets are equivalent there would exist $ f:X→Y$ that is bijective. If I conceptually create P(X) and apply the function defined for the first equivalence relation to ...
2
votes
1answer
55 views

What does it mean in general to show something is well defined? [duplicate]

There is another post that addresses this but quickly fix the problem to be something in arthmetics, and in turn what it means for that arithematics problem to be well defined. I have never ...
2
votes
1answer
35 views

Show that any metrizable space $X$ is Hausdorff

I wish to show that any metrizable space $(X,\mathcal{T})$ is Hausdorff Proof attempt: Let $d$ be the metric that generates the topology on $X$. Pick two points $x,y \in X$, we wish to produce two ...
2
votes
0answers
34 views

Show that if $(X, \mathcal{T}), (Y, \mathcal{J})$ are both metrizable, then $X \times Y$ with product topology is metrizable

Let $(X, \mathcal{T}), (Y, \mathcal{J})$ be both metrizable, then Claim: $X \times Y$ with product topology is metrizable I have made an attempt at this question but the notation is ...
0
votes
1answer
25 views

How to write this proof in a purely formal way?

Problem. Let $\Lambda$ be an index set. Then show that $$\displaystyle\bigcup_{\alpha\in\Lambda}\left(\displaystyle\bigcup_{B\in\gamma_{\alpha}}B\right)=\displaystyle\bigcup_{B\in\gamma}B$$where $\...
0
votes
1answer
33 views

Proof idea: Let $(X,d)$ be a metric space, and $\rho$ be bounded metric, show that they will generate the same topology

Let $(X,d)$ be a metric space, $d$ generates the metric topology $\mathcal{T}$ via metric ball $B_\epsilon(x)$. Show that bounded metrics: $\rho_1(x,y) = \dfrac{d(x,y)}{1+d(x,y)}$ with ...
0
votes
1answer
58 views

Brute force way to show that $\rho(x,y) = \min\{1, d(x,y)\}$ is a metric

Following a hint in Short proof that $\rho^\prime(x,y) = \min\{1,\rho(x,y)\}$ is a metric I would like to use the brute force method to show that the standard bounded metric is a metric $$\rho(x,y) ...
1
vote
2answers
31 views

Trouble Proving that if $f : A \rightarrow B \text{ then } I_{B} \circ f=f$

Proving that if $f : A \rightarrow B \text{ then } I_{B} \circ f=f$ My problem with this question is that I do not know how one derives the theory in order to get the correct answer. I will ...
1
vote
1answer
35 views

A simple proof in the form of an inequality

Proof that for all $a, b$ are elements of $\mathbb{R}$ : $(a+b)^2\geq 4ab$. Does it satisfies after doing some simple arithmetic to say that $(a-b)^2\geq 0$? Or do I need to go over all the cases ...
0
votes
2answers
56 views

Prove $\lim _{ n\rightarrow \infty }{ { x }_{ n }^{ k } } ={ \left( \lim _{ n\rightarrow \infty }{ { x }_{ n } } \right) }^{ k }$

I'm trying to prove that the limit of the sequence $x_n^k$ is the same as the limit of $x_n$ all raised to the $k$th power. Prove $$\lim _{ n\rightarrow \infty }{ { x }_{ n }^{ k } } ={ \left( \lim ...
1
vote
0answers
29 views

How to calculate $\Delta$ in conic sections?

When learning conic section I learnt about $\Delta$. For any conic in general form : $ax^2 + 2hxy + by^2 + 2gx + 2fy + c = 0$ Here $\Delta=abc +2fgh - af^2 - bg^2 -ch^2$ The conic is said to be ...
0
votes
1answer
41 views

Proving the Mean Value Theorem

So I'm working through some questions in my book and I don't understand how to finish out the attached problem. For the first 5 blanks here is what I got: Since $f$ is continuous on $[16,25]$ and ...
3
votes
1answer
39 views

$f$ is injective if and only if for all $y \in B$ there exists at most one $x \in A$ such that $f(x)=y$

Let $A$ and $B$ be sets and let $f:A \to B$ be a function. Assume $f$ is injective. Let $y \in B$. There are two cases to consider. If there exists an $x \in A$ such that $f(x) = y$, then $x$ is ...
0
votes
2answers
68 views

A **proof** for $\sum_{i=0}^{t-2}{\frac{1}{t+3i}} \leq \frac{1}{2}$ [duplicate]

I need a proof for the inequality: $\sum_{i=0}^{t-2}{\frac{1}{t+3i}} \leq \frac{1}{2}$ for all natural numbers $t \geq 2$. For $t=2$ both sides are equal. Can someone find a proof for all $t$? maybe ...
0
votes
2answers
77 views

Prove integral equality $ \int_{0}^{\pi} xf(\sin(x))dx = \pi \int_{0}^{\frac{\pi}{2}}f(\sin(x))dx $ [closed]

How can I prove the following claim for any given continues function: $$ \int_{0}^{\pi} xf(\sin(x))dx = \pi \int_{0}^{\frac{\pi}{2}}f(\sin(x))dx $$ Thanks!
0
votes
2answers
34 views

Hints on showing that a metric space is complete

Let $C[0,K]$ be the space of all continuous real valued functions on $[0,K]$ for $K>0$ and $L\geq0$, equipped with the metric $d$ defined by $$d(f,g)=\sup_{0\leq k\leq K}e^{-Lk}|f(k)-g(k)|.$$ I ...
6
votes
1answer
565 views

Disproving existence statements

I am trying to get some practice on disproving existence statements and I was really stuck on this one: "There exists an example of three distinct positive integers different from $a,2a,3a$ for some ...
6
votes
4answers
513 views

Proving a theorem, what is meant by sufficiency and necessity?

I am looking at the proof of a theorem and the proof begins by saying ...is the proof of the sufficiency part of this theorem so we just need to establish the necessity of the condition. What ...
1
vote
1answer
34 views

Did I prove and disprove the following statements correctly?

Let $A = \left\{x \in \mathbb{Z} \mid \exists a\in\mathbb{Z}: x = 6a + 4\right\}$ and $B = \left\{y \in \mathbb{Z} \mid \exists b\in\mathbb{Z}: y = 18b - 2\right\}$ and $C = \left\{z \in\mathbb{Z} \...
0
votes
0answers
33 views

help with solution using mengers theorem

to show: for a $3$ regular graph $G$ we have: edge connectivity $=$ vertex connectivity . attempt: take a minimal seperating vertex set $X$ of $G$ with $|X|=:k$. Then $G \backslash X$ has ...
2
votes
4answers
65 views

My proof that if $P(A) \subseteq P(B)$, then $A \subseteq B$

I'm not sure if my proof is sound. Here it is: Assume that $P(A) \subseteq P(B)$, so any subset C of A is also a subset of B. Therefore, any element in C is also an element of A, and by the same ...
3
votes
1answer
33 views

Not understanding the proof that there is no surjection from a set to its powerset

Here is the question: If a set, $A$, is finite, then $|A| < 2^{|A|} = |P(A)|$, and so there is no surjection from set $A$ to its powerset. Show that this is still true if $A$ is infinite. ...
1
vote
1answer
47 views

Help in proof: a connected graph is $k$ edge connected iff all blocks are

Attempt: we know that the edge set of $G$ is the union of those of it's blocks (maximal connected subgraphs of $G$ not having a cut vertex), any two of them touching in at most one vertex. If all ...