proof writing related issues & queries in MathXchanger

Proof of $f(A)=f(A-B)+f(B)$ when $f$ is a injective map

proof-verification elementary-set-theory
Updated November 17, 2018 10:20 AM

Verification of Laurent series for the function $f(z)=\frac{2}{(z+2)^2}-\frac{5}{z-4}$

complex-analysis proof-verification laurent-series
Updated November 17, 2018 07:20 AM

Verifying the continuity of a piecewise-defined, composite function.

calculus limits proof-verification continuity
Updated November 17, 2018 06:20 AM

A subgroup $H$ of $G$ is normal iff for all $a,b \in G$, $ab \in H \iff ba \in H$.

abstract-algebra group-theory proof-verification
Updated November 17, 2018 06:20 AM

induction question understanding

proof-writing
Updated November 17, 2018 05:20 AM

Does a mathematical proof in the complex number implies a proof in the real numbers?

complex-numbers definition proof-theory
Updated November 17, 2018 01:20 AM

Proving $\exists k \in \mathbb{Z}: \forall l \in \mathbb{Z}: \lnot(k \mid l) $?

elementary-number-theory proof-verification propositional-calculus predicate-logic
Updated November 17, 2018 00:20 AM

Show that $|f(x)-L|\leq K|x-c| \implies\lim_{x\to c} f(x)=L$

real-analysis proof-verification
Updated November 17, 2018 00:20 AM

What is the general idea behind Andrew Wiles' proof of Fermat's Last Theorem?

number-theory proof-explanation math-history elliptic-curves modular-forms
Updated November 17, 2018 00:20 AM

If every absolutely convergent series is convergent in $X$, then $X$ is a Banach space.

real-analysis functional-analysis proof-verification banach-spaces
Updated November 17, 2018 00:20 AM

Proof Verification: Let $A$ be bounded above so that $s=$ sup $A$ exists. Prove that $s \in \overline{A}$.

real-analysis proof-verification
Updated November 17, 2018 00:20 AM

Are there any statements $\phi$ where "$\vdash \phi$ or $\vdash \neg \phi$" was shown nonconstructively?

logic examples-counterexamples proof-theory
Updated November 16, 2018 20:20 PM

If $A$ and $B$ are compact subsets of $\mathbb{R}$, is then $ A × B $ compact?

general-topology proof-verification compactness
Updated November 16, 2018 18:20 PM

Any ultrafilter over a finite set is principal

elementary-set-theory proof-verification filters
Updated November 16, 2018 17:20 PM

solving natural log inequality

calculus inequality proof-writing logarithms proof-explanation
Updated November 16, 2018 14:20 PM

Proof relationship for random variable X in the exponential family

probability probability-theory proof-verification random-variables
Updated November 16, 2018 14:20 PM

Prove the comparability theorem for well ordered sets using transfinite induction

elementary-set-theory proof-explanation well-orders
Updated November 16, 2018 12:20 PM

solving integral inequality

calculus integration inequality proof-writing proof-explanation
Updated November 16, 2018 11:20 AM

A question about the proof of $\sup\{\alpha^\beta\alpha^\delta\mid\delta<\gamma\}=\alpha^\beta\sup\{\alpha^\delta\mid\delta<\gamma\}$

proof-explanation ordinals
Updated November 16, 2018 11:20 AM

All the possible configurations in $\Bbb P^4$ of two planes whose sum is $\Bbb P^4$ and a line

geometry proof-verification projective-geometry projective-space
Updated November 16, 2018 10:20 AM

Does $a_{n}/a_{n-1}$ converge to the golden ratio for all Fibonacci-like sequences?

proof-explanation fibonacci-numbers golden-ratio
Updated November 16, 2018 08:20 AM

Equivalenece of all representations of $\exp$

calculus exponential-function special-functions exponentiation alternative-proof
Updated November 16, 2018 08:20 AM

Attempt at sequence proof $\frac{n+3}{n^2 -3}$ converges to $0$

real-analysis sequences-and-series proof-verification epsilon-delta
Updated November 16, 2018 07:20 AM

solve irrational equation in R

algebra-precalculus trigonometry proof-verification problem-solving irrational-numbers
Updated November 16, 2018 02:20 AM

Equivalent forms for a product notation

statistics inequality proof-explanation machine-learning
Updated November 16, 2018 02:20 AM

How is this simplified? $\frac{n(2n^2+9n+1)}{6}+(n+1)^2+2(n+1)-1$

proof-verification
Updated November 15, 2018 21:20 PM

Prove that $E$ is not well-defined

proof-explanation
Updated November 15, 2018 21:20 PM

Rudin functional analysis, theorem 2.11 (Open mapping theorem)

functional-analysis proof-explanation topological-vector-spaces open-map
Updated November 15, 2018 15:20 PM

Question on proof of every finitely generated vector space has a basis

linear-algebra proof-explanation
Updated November 15, 2018 14:20 PM

Proving by Contrapositive (specific question within)

discrete-mathematics logic proof-explanation
Updated November 15, 2018 14:20 PM

Compute the cardinality of a field $K$ and show that $K$ contains a splitting field of $X^{31} - 1$

abstract-algebra proof-verification splitting-field
Updated November 15, 2018 14:20 PM

Show existence of holomorphic function $h$ such that $e^{h(z)}=1+z^5+z^{10}$

complex-analysis proof-verification holomorphic-functions
Updated November 15, 2018 11:20 AM

When can I assume that an open interval is an open set in topology?

general-topology proof-explanation
Updated November 15, 2018 10:20 AM

Probability of equal # of blue and red fish chosen when drawing without replacement

probability proof-verification
Updated November 15, 2018 10:20 AM

Signature of matrix associated with q

linear-algebra proof-explanation quadratic-forms
Updated November 15, 2018 09:20 AM

Finding probability with Law of Total Probability and Bayes Theorem

probability proof-verification
Updated November 15, 2018 09:20 AM

Finding $P(Y \leq 0.49)$ with standard normal distribution

probability proof-verification
Updated November 15, 2018 09:20 AM

Using Parseval's identity to show that $\frac{\pi^2}{8}=1+\frac{1}{3^2}+\frac{1}{5^2}+\frac{1}{7^2}+...$

differential-equations proof-verification fourier-analysis
Updated November 15, 2018 08:20 AM

How many ultrafilters there are in an infinite space?

general-topology proof-explanation cardinals
Updated November 15, 2018 08:20 AM

Reduction formula for $\int\frac{dx}{(ax^2+b)^n}$

calculus integration proof-explanation indefinite-integrals reduction-formula
Updated November 15, 2018 05:20 AM

Counterexample of the converse of Jensen's inequality

proof-verification convex-analysis lebesgue-integral jensen-inequality
Updated November 15, 2018 04:20 AM

Generalize Jensen's Integral Inequality to the product of two functions

proof-verification convex-analysis lebesgue-integral jensen-inequality
Updated November 15, 2018 02:20 AM

Showing that $f :\mathbb{N}^2\rightarrow\mathbb{N}$ $p(a,b) = \frac{(a+1)b(b+1)}{2}$ is not an injection

functions proof-writing
Updated November 15, 2018 01:20 AM

Which ones of these two shows that the tensor product of two multilinear functions is bilinear?

linear-algebra abstract-algebra proof-writing linear-transformations tensor-products
Updated November 15, 2018 00:20 AM

Completely lost on using strong induction for this proof regarding a recursive algorithm.

discrete-mathematics proof-writing induction proof-explanation recursion
Updated November 14, 2018 23:20 PM

Proving that $\arctan(x)+\arctan(1/x)=\pm \pi/2$, could this line of reasoning possibly be correct?

trigonometry proof-verification
Updated November 14, 2018 21:20 PM

Is it possible to prove the following inequalities to be true?

trigonometry inequality proof-writing
Updated November 14, 2018 20:20 PM

equivalent definitions for certain subgroups of discrete

general-topology proof-verification topological-groups geometric-group-theory
Updated November 14, 2018 17:20 PM

Prove $s$ is a supremum iff for all $\epsilon>0$ there exists $a\in A$ such that $a>s-\epsilon$.

calculus real-analysis proof-verification solution-verification
Updated November 14, 2018 17:20 PM

Just using x for proving any real interval is uncountable

proof-verification
Updated November 14, 2018 16:20 PM

Showing Page 1 of 0