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

learn more… | top users | synonyms

0
votes
1answer
390 views

Decomposition of a function into positive and negative parts and its integrability

1)Is it true that any function can be decomposed as a difference of its positive and its negative part as $f=f^{+}-f^{-}$ or that function should belong to $\mathcal{L}^{1}(\mathbb{R})$. Also if that ...
1
vote
0answers
36 views

Definition of function

When defining a function, mathematicians often write something like this: Let $f\colon \mathbb R\to \mathbb R$ be the function given by $x\mapsto x^2$. The purpose of this definition may be to ...
1
vote
1answer
30 views

How can I prove $\frac{m+a}{m+a+l+b}$ is between $\frac{m}{m+l}$ and $\frac{a}{a+b}$?

Let $m,a,l,b \in \mathbb{Z}^{+}$ How can I prove $\frac{m+a}{m+a+l+b}$ is between $\frac{m}{m+l}$ and $\frac{a}{a+b}$?
3
votes
1answer
58 views

Continuous functions in the product topology on $\Bbb{R}^{\Bbb{N}}$

I'm trying to prove the following statement: Let $(X, T )$ be a topological space, and let $f : X \rightarrow \Bbb{R^{\Bbb{N}}}$ be a function, where $\Bbb{R^{\Bbb{N}}}$ has the product topology. Let ...
2
votes
2answers
33 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
45 views

Elementary proofs involving inequalities

So the task of this exercise is to prove each statement. $\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 $...
0
votes
2answers
716 views

Proving the fundamental period of tangent

I'm very new to math and proofs -- so I apologize if my math skills and vocabulary offends you. I have a question that states: Prove that $\pi$ is a fundamental period of the tangent function. I ...
9
votes
5answers
2k views

Why does proof by contrapositive make intuitive sense?

If you have two statements P and Q, and we say that P implies Q, that suggests that P contains Q. So if we have P, we must have Q because it is contained within P. This is my intuitive understanding ...
2
votes
4answers
6k views

Proof by induction that $ \sum_{i=1}^n 3i-2 = \frac{n(3n-1)}{2} $

I'm starting to understand how induction works (with the whole $k \to k+1$ thing), but I'm not exactly sure how summations play a role. I'm a bit confused by this question specifically: $$ \sum_{i=1}^...
0
votes
1answer
906 views

Disjunctive normal form (BOTH dnf and cnf) example help

T or ( not x and y ) or ( x and y ) In class we went over examples of how many things can be both DNF and CNF... eg. (not z) or y can be thought of as both (not z) or y .... dnf ((not z) or y)...
0
votes
0answers
38 views

Other simple proofs involving inequalities - when is it enough?

So the task of this exercise is to prove each statement. $\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 $...
0
votes
1answer
50 views

Understanding direct proofs and proofs by cases?

I'm reviewing my book Mathematical Proofs a Transition to Advanced Mathematics and looking to understand things at a deeper level. I will try to explain what I've considered so far in regards to this ...
0
votes
2answers
59 views

Prove that ∀n≥1, (1/(1⋅3))+(1/(3⋅5))+(1/(5⋅7))+…+(1/(2n−1)(2n+1)) =( n/(2n+1))| [on hold]

Prove that ∀n≥1, (1/(1⋅3))+(1/(3⋅5))+(1/(5⋅7))+...+(1/(2n−1)(2n+1)) =( n/(2n+1))| So, I understand that the proof must display that (1/(2n−1)(2n+1) is equivalent to (1/(2n−1)(2n+1). Would I solve ...
10
votes
5answers
853 views

APICS Mathematics Contest 1999: Prove $\sin^2(x+\alpha)+\sin^2(x+\beta)-2\cos(\alpha-\beta)\sin(x+\alpha)\sin(x+\beta)$ is a constant function of $x$

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$...
1
vote
0answers
62 views

When to use “:=”?

I know that "$:=$" is used in definitions. For example, one can write: $A\times B:=\{(a, b)\mid a\in A, b\in B\}$ But would you use "$:=$" in the following example: Let a function $f\colon A\...
0
votes
1answer
21 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(...
0
votes
0answers
23 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
31 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 ...
0
votes
2answers
562 views

Prove If a set contains more vectors than there are entries in each vector, then the set is linearly dependent

I want to prove this theorem: If a set contains more vectors than there are entries in each vector, then the set is linearly dependent. That is, any set $\{ v_1,v_2,...,v_p \}$ in $\mathbb{R}^n$ is ...
0
votes
0answers
25 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^{\...
1
vote
0answers
21 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, ...
0
votes
1answer
453 views

How do I prove an algorithm has $n^3$ time complexity?

Take the CYK algorithm outlined here: How to prove CYK algorithm has $O(n^3)$ running time In the top answer, how did that person go from the three summations to $t=(n^3−n)/6$ ? What's the method ...
0
votes
2answers
39 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?
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
34 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
44 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
350 views

My problem in understanding the minimal counterexample technique

If minimal counterexample method of proof is to assume to opposite of an argument is true and then finding a counterexample for the opposite and then concluding the validity of the original argument, ...
0
votes
1answer
21 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 ...
6
votes
2answers
821 views

Image of closed unit ball under a compact operator

Let $X,Y$ be Banach spaces and $A\in\mathcal L(X,Y)$ . The task is to prove the following: $A$ is compact if and only if the image of the closed unit ball in $X$ is compact in $Y$. I have proven ...
3
votes
1answer
4k views

Prove that the min and max of 2 continuous function are continuous

Prove that if $f$ and $g$ are continuous functions the so are min⁡{f(x),g(x)} and max⁡{f(x),g(x)} I know this is true when $f$ and $g$ are not intersect each other, then I can compare them. However, ...
2
votes
3answers
53 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
17 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
40 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 ...
3
votes
2answers
135 views

Prove that $(a^2+2)(b^2+2)(c^2+2)\geq 3(a+b+c)^2$

For the non-negative real numbers $a, b, c$ prove that $$(a^2+2)(b^2+2)(c^2+2)\geq 3(a+b+c)^2$$ What I did is applying Holder's inequality in LHS:$$(a^2+(\sqrt{2})^2)(b^2+(\sqrt{2})^2)(c^2+(\sqrt{2})...
0
votes
0answers
13 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
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
34 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 ...
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 = ...
1
vote
1answer
27 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 ...
0
votes
3answers
34 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
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 ...
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 ...
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 ...
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 ...
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 ...
3
votes
1answer
65 views

proof of Triangle Removal Lemma

Where can I find a proof of the following version of Triangle Removal Lemma (or any version equal to it)? Let $G(V,E)$ be a graph on $n$ vertices such that it contains $\varepsilon n^3$ triangles, ...
2
votes
3answers
53 views

Proof by induction: inequality $n! > n^3$ for $n > 5$

I'm given a inequality as such: $n! > n^3$ Where n > 5, I've done this so far: BC: n = 6, 6! > 720 (Works) IH: let n = k, we have that: $k! > k^3$ IS: try n = k+1, (I'm told to only work ...
1
vote
2answers
46 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 ...