proof writing related issues & queries in MathXchanger

Spectrum of conjugate linear maps

real-analysis functional-analysis proof-verification
Updated June 20, 2019 03:20 AM

Is this proof that $M$ is orientable correct?

proof-verification algebraic-topology manifolds compact-manifolds
Updated June 20, 2019 02:20 AM

Given $\limsup \frac{a_n}{b_n} < \infty$. Prove there is a constant M such that $a_n \leq Mb_n$

real-analysis sequences-and-series proof-verification limsup-and-liminf
Updated June 20, 2019 00:20 AM

Why is $\varphi: R[A] \to S$ automatically an $R$-module homomorphism?

abstract-algebra ring-theory category-theory modules proof-explanation
Updated June 19, 2019 21:20 PM

Solve differential equation $u_t = i u_{xx} - x^2 u$

ordinary-differential-equations proof-verification derivatives pde partial-derivative
Updated June 19, 2019 20:20 PM

An arrow in a category can have at most one inverse

proof-verification category-theory
Updated June 19, 2019 19:20 PM

Rationale for sphere equation given 4 points

linear-algebra analytic-geometry alternative-proof spheres
Updated June 19, 2019 18:20 PM

If $R$ is commutative and $M$ is an $R$-module, does every element of $R$ determine an $R$-module endomorphism of $M$?

abstract-algebra proof-verification ring-theory modules
Updated June 19, 2019 17:20 PM

Minimum value of definite integral.

definite-integrals proof-writing
Updated June 19, 2019 16:20 PM

Proof by induction v. Proof by smallest counter-example

discrete-mathematics proof-writing induction
Updated June 19, 2019 16:20 PM

$P(|X - 1| \geq 2)$ in terms of the distribution function $F_X$

probability proof-verification
Updated June 19, 2019 16:20 PM

A set which is the closure of its interior points

general-topology proof-verification differential-geometry connectedness
Updated June 19, 2019 12:20 PM

Express a (1,1)-tensor field in another set of coordinates

calculus proof-verification differential-geometry
Updated June 19, 2019 05:20 AM

Prove that the order of $5$ mod $2^k$ is equal to $2^{k-2}$ where k is any integer greater than or equal to 3.

number-theory elementary-number-theory proof-explanation congruences integers
Updated June 19, 2019 05:20 AM

Prove that sqrt(2) - sqrt(5) is irrational

elementary-number-theory proof-verification
Updated June 19, 2019 03:20 AM

Why does strong convexity imply this inequality?

inequality convex-analysis proof-explanation
Updated June 19, 2019 03:20 AM

Marginal PDF verificaiton

probability statistics proof-verification
Updated June 19, 2019 01:20 AM

$\|A\|_2 \le \|b\|_2 \Rightarrow |b^TAb| \le \|b\|_2^3$

proof-explanation convex-optimization norm spectral-norm
Updated June 19, 2019 00:20 AM

Where does this term come from when integrating this inequality?

integration proof-explanation convex-optimization
Updated June 19, 2019 00:20 AM

$\Vert \cdot \Vert_2$ norm convergence of $f_n$ to $f$

real-analysis proof-verification lebesgue-integral lebesgue-measure
Updated June 18, 2019 23:20 PM

Proof explanation $\lim\limits_{n\to\infty}\frac{n}{\sqrt[n]{n!}}=e$

real-analysis proof-explanation
Updated June 18, 2019 23:20 PM

Proof that lim sup and lim inf are limit points if finite

proof-explanation limsup-and-liminf
Updated June 18, 2019 16:20 PM

Some details about the reverse direction of Kakutani's theorem

general-topology functional-analysis proof-explanation weak-convergence
Updated June 18, 2019 15:20 PM

Length of a perpendicular bisector to a line intersecting a curve

algebra-precalculus proof-verification analytic-geometry
Updated June 18, 2019 12:20 PM

Tangent space of $O(n)$ by means of a composite of differential maps

proof-verification manifolds differential-topology tangent-spaces
Updated June 18, 2019 11:20 AM

Defining Multiplication on Strongly Homogeneous Commutative Semigroups

abstract-algebra proof-verification examples-counterexamples semigroups
Updated June 18, 2019 10:20 AM

Proof that unbounded sequence has a subsequence whose reciprocal converges to zero

real-analysis proof-explanation
Updated June 18, 2019 08:20 AM

Closed-form for $F(n) = \sum_{d|n} \omega_x(d) $

proof-verification closed-form arithmetic-functions multiplicative-function
Updated June 18, 2019 07:20 AM

Let $\mathfrak{D}$ be the collection of subsets of $X$ of the form $E_1^{\lambda_1}\cap\dots\cap E_n^{\lambda_n}$. Is $X=\bigcup_{D\in\mathfrak{D}}D$?

proof-verification elementary-set-theory proof-explanation
Updated June 18, 2019 05:20 AM

Solution-verification of function that is lower semicontinuous

real-analysis proof-verification continuity
Updated June 18, 2019 04:20 AM

Prove that for every $\Gamma$ and $A$, $\Gamma$ proves $A$ in one logic iff it does so in the other.

logic proof-explanation
Updated June 18, 2019 03:20 AM

Let $R$ be a commutative ring and $a_1, \dots, a_n$ elements of $R$. Prove that $\frac{R[x_1, \dots, x_n]}{(x_1-a_1, \dots, x_n-a_n)} \cong R.$

abstract-algebra polynomials ring-theory proof-writing ring-isomorphism
Updated June 18, 2019 02:20 AM

Prove that $x\mathcal{R}y\iff x^2-y^2=2(y-x)$ is an equivalence relation

proof-verification equivalence-relations
Updated June 18, 2019 02:20 AM

Area related question for an equilateral triangle

geometry proof-writing proof-explanation euclidean-geometry triangles
Updated June 17, 2019 22:20 PM

How to mathematically define a set generated from n numbers in a generalized manner (to be used in a proof for an arbitrary size)?

proof-writing set-theory
Updated June 17, 2019 19:20 PM

Which real values of $\alpha$ is the function $g_{\alpha}(x) = x^{\alpha}\log(x)$ uniformly continuous?

real-analysis proof-verification uniform-continuity
Updated June 17, 2019 19:20 PM

Why is this inequality true in the proof of the convergence of Newton's method?

convergence proof-explanation convex-optimization
Updated June 17, 2019 18:20 PM

Associative Law for Boolean Logic

logic proof-writing boolean-algebra
Updated June 17, 2019 17:20 PM

Measurable functions, pointwise and $\mathcal{L}^2$ convergence questions

real-analysis proof-verification lebesgue-measure
Updated June 17, 2019 17:20 PM

Proof of Telescoping Series

proof-verification telescopic-series
Updated June 17, 2019 17:20 PM

Show the relation well-orders $S$

proof-verification elementary-set-theory proof-writing
Updated June 17, 2019 16:20 PM

Proposition 5.4. Chapter 0 - Do Carmo's Riemannian Geometry

differential-geometry proof-explanation
Updated June 17, 2019 14:20 PM

Apostol proof of a basic limit theorem: page 136

real-analysis calculus proof-verification proof-explanation
Updated June 17, 2019 13:20 PM

Taylor's theorem and Lagrange remainder.

real-analysis proof-explanation taylor-expansion
Updated June 17, 2019 12:20 PM

Deriving Known Solution of Two Variables Partial Differential Equation

pde proof-writing
Updated June 17, 2019 12:20 PM

Equality in cauchy schwartz for best estimators?

proof-explanation statistical-inference cauchy-schwarz-inequality
Updated June 17, 2019 12:20 PM

Hatcher's representation of coverings spaces as permutations

algebraic-topology proof-explanation
Updated June 17, 2019 10:20 AM

Prove $x=\sqrt{3} - \sqrt{2}$ is irrational

proof-explanation
Updated June 17, 2019 10:20 AM

Line with two origins: Homeomorphism

proof-verification manifolds
Updated June 17, 2019 10:20 AM

Proof critique - Atiyah and MacDonald's Commutative algebra - Q 1.7

proof-verification commutative-algebra
Updated June 17, 2019 07:20 AM

Showing Page 1 of 0