proof writing related issues & queries in MathXchanger

Proving that $y_n$ converges given $y_{2n}, y_{2n+1}$ converges

real-analysis proof-verification convergence
Updated February 17, 2019 21:20 PM

Is my proof that $\overline{A}\cup\overline{B} = \overline{A\cup B}$ correct?

general-topology proof-verification
Updated February 17, 2019 20:20 PM

(0,n) can't map to (0,1) without dividing by some f(n).

proof-writing mapping-class-group
Updated February 17, 2019 20:20 PM

Integrate $\int_{|z|=1}z^{3}e^{1/z}dz$ - verification

complex-analysis proof-verification complex-integration cauchy-integral-formula
Updated February 17, 2019 19:20 PM

Translating set syntax in FOL

elementary-set-theory proof-explanation definition first-order-logic quantifiers
Updated February 17, 2019 18:20 PM

Modular multiplicative inverse proof

elementary-number-theory proof-writing modular-arithmetic
Updated February 17, 2019 17:20 PM

Integrate $\int_{|z|=1/2}\frac{e^{1-z}}{z^{3}(1-z)}dz$ verification

complex-analysis proof-verification complex-integration cauchy-integral-formula
Updated February 17, 2019 17:20 PM

Prove the equivalent conditions for nowhere dense subset.

general-topology proof-verification metric-spaces nowhere-dense
Updated February 17, 2019 15:20 PM

Show that $a_{k-1}a_{k+1}\le a_k^2$ where $P(x) = \sum_{k=0}^n a_k X^k$ is a real polynomial with real roots, and $0<k<n$

polynomials alternative-proof
Updated February 17, 2019 14:20 PM

An inequality about borel measures in a proof

measure-theory proof-verification
Updated February 17, 2019 14:20 PM

What are the theorems in mathematics which can be proved using completely different ideas?

reference-request big-list alternative-proof
Updated February 17, 2019 14:20 PM

How many different subsets $Y \subset X$ with $|Y| \leq n$ are there if $|X| = 2n+1$? (Elegant solution?)

combinatorics proof-verification
Updated February 17, 2019 13:20 PM

Show that $T$ has an adjoint, and describe $T^*$ explicitly.

linear-algebra proof-verification adjoint-operators
Updated February 17, 2019 13:20 PM

Inversion lemma proof

proof-explanation proof-theory
Updated February 17, 2019 12:20 PM

Is the integral of a smooth function on a closed smooth real manifold finite?

proof-verification smooth-manifolds smooth-functions
Updated February 17, 2019 11:20 AM

Proof that continuous curve in $\mathbb{R}^2$ has Lebesgue measure zero

real-analysis measure-theory proof-verification lebesgue-measure
Updated February 17, 2019 07:20 AM

Proof that if $A \subseteq B \setminus C$ then $A$ and $C$ are disjoint.

proof-verification elementary-set-theory proof-writing
Updated February 17, 2019 07:20 AM

Prove $ x^n-1=(x-1)(x^{n-1}+x^{n-2}+...+x+1)$

elementary-number-theory proof-writing
Updated February 17, 2019 06:20 AM

Every uncountable closed set contains a perfect subset

real-analysis proof-verification
Updated February 17, 2019 05:20 AM

What will be the notion of a "valid deduction" in the following system?

logic propositional-calculus proof-theory
Updated February 17, 2019 04:20 AM

Prove an inequality, using existing AM GM inequality

algebra-precalculus proof-verification a.m.-g.m.-inequality
Updated February 17, 2019 02:20 AM

Solution verification: Writing a sum in the Cantor normal form

sequences-and-series proof-verification set-theory ordinals
Updated February 17, 2019 02:20 AM

Find $T^* $, where $T$ be the linear operator defined by $T \epsilon_1 = (1, - 2), \,\,T\epsilon_2 (i, - 1)$.

linear-algebra proof-verification adjoint-operators
Updated February 17, 2019 02:20 AM

No continuous function $f$ on $\mathbb{R}$ such that $f(x)=1_{[0,1]}(x)$ almost everywhere

real-analysis measure-theory proof-verification lebesgue-measure
Updated February 17, 2019 01:20 AM

Let ST be a chord of a circle ω which is not a diameter, and let A be a fixed point on ST

geometry proof-verification euclidean-geometry circle
Updated February 17, 2019 00:20 AM

For any starting point $x^{(0)}$ the basic conjugate algorithm converges to the unique $x^{*}$ in $n$ steps

linear-algebra optimization proof-explanation gradient-descent
Updated February 16, 2019 22:20 PM

Explanation of the steps of this example, where there is no linear functional satisfying $f (\alpha ) = (\alpha | \beta)$

linear-algebra proof-explanation
Updated February 16, 2019 22:20 PM

why $e=e_2+v_i^2+\sum_{j=0}^{\sigma(G)}(i-j)\beta_{ij}(p)$

graph-theory proof-explanation ramsey-theory
Updated February 16, 2019 20:20 PM

Diagonalizable Matrix $A$ with Eigenvalues scalar=c, is $A=cI$

matrices proof-writing eigenvalues-eigenvectors matrix-analysis
Updated February 16, 2019 19:20 PM

Verify that $f(x)=\frac{1}{x}-\frac{1}{x_0}$ is continuous for every $x_0\neq 0$.

real-analysis proof-verification continuity
Updated February 16, 2019 18:20 PM

Direct proof of Archimedean Property (not by contradiction)

real-analysis analysis real-numbers alternative-proof
Updated February 16, 2019 17:20 PM

Least-Upper-Bound Property $\implies$ Greatest-Lower Bound Property (Rudin)

real-analysis proof-explanation supremum-and-infimum
Updated February 16, 2019 15:20 PM

A question on the equality between two sets.

proof-verification
Updated February 16, 2019 11:20 AM

proof verification of tirivial fundamental group.

proof-verification algebraic-topology homotopy-theory fundamental-groups
Updated February 16, 2019 10:20 AM

$\int_0^{+\infty} f(x) dx = - \lim_{a\rightarrow 0^+} \frac{1}{a} \sum Res_{\Bbb{C} \setminus \Bbb{R}^+} (f(z)z^a)$?

complex-analysis proof-verification analytic-functions
Updated February 16, 2019 09:20 AM

Have I proved in ZF $\aleph (X) \lt \aleph (\mathscr P^3(X))$?

proof-verification set-theory axiom-of-choice
Updated February 16, 2019 06:20 AM

Theorem: $e_2\leq (y-1)[\frac{n}{2}-y+1+i]$

graph-theory proof-explanation ramsey-theory
Updated February 16, 2019 04:20 AM

Is this a typo about the derived set in textbook Introduction to Set Theory by Hrbacek and Jech?

elementary-set-theory proof-explanation ordinals
Updated February 16, 2019 03:20 AM

If |x + y| > |x - y|, then how to arrive at $xy > 0$?

algebra-precalculus inequality absolute-value alternative-proof
Updated February 16, 2019 02:20 AM

How to justify the unique existence of this sequence by Transfinite Recursion Theorem?

sequences-and-series proof-verification elementary-set-theory ordinals
Updated February 16, 2019 01:20 AM

Proof verification using Schwarz Lemma

complex-analysis proof-verification inequality
Updated February 16, 2019 01:20 AM

First orderer logic completeness and independence: the proof that disappear?

first-order-logic independence proof-theory
Updated February 15, 2019 23:20 PM

Understanding the proof $C(X)$ is complete

general-topology functional-analysis proof-writing proof-explanation
Updated February 15, 2019 22:20 PM

Find an orthonormal basis in which $E$ is represented by matrix

linear-algebra proof-verification
Updated February 15, 2019 21:20 PM

Is it correct to write $(a,b,c) < d$?

notation article-writing
Updated February 15, 2019 17:20 PM

An inequality about compact functions and lsc functions

real-analysis measure-theory proof-explanation semicontinuous-functions
Updated February 15, 2019 16:20 PM

If $Ha\subseteq Kb$ for some $a,b\in G$, show that $H \subseteq K$.

group-theory proof-verification
Updated February 15, 2019 16:20 PM

Why is this the optimal value of the dual problem?

proof-explanation convex-optimization
Updated February 15, 2019 13:20 PM

Autonomous system of ODEs: Using Picard-Lindelöf after transforming to multiple non-autonomous ODEs

ordinary-differential-equations proof-verification
Updated February 15, 2019 11:20 AM

Conditional Probability Problem about ientical twins

probability proof-verification
Updated February 15, 2019 11:20 AM

Showing Page 1 of 0