List questions from proof-verification

Published on 02 Apr 2026 - 18:35

143

Views

Show that $L(O)=O$ if $L$ is a linear map from one vector space to another

Published on 02 Apr 2026 - 7:01

117

Views

Proving that a unit disc is open in $\mathbf{R}^2$.

Published on 12 Apr 2026 - 11:49

62

Views

A proof of Transfinite Induction

Published on 08 Apr 2026 - 18:03

73

Views

Validate the proof that the sequence $x_n = \sum_{k=1}^{n} {1\over n+k}$ is bounded.

Published on 15 Oct 2018 - 15:44

62

Views

Is this proof correct or am I trying to prove a falsehood?

Published on 15 Oct 2018 - 16:30

549

Views

The non-empty intersection of two open discs contains an open disc.

Published on 03 Apr 2026 - 16:47

796

Views

Smooth extension of a smooth map on an non-empty open subset of a manifold to the whole manifold.

Published on 29 Mar 2026 - 5:43

107

Views

Constructing a Borel Measure

Published on 12 Apr 2026 - 5:54

47

Views

convergent sequence of continuous functions with non-integrable limit

Published on 12 Apr 2026 - 5:57

19

Views

Proving $\cup A_m$ $\subseteq$ B

Published on 02 Apr 2026 - 6:15

662

Views

Proving the pullback of monics is monic.

Published on 30 Mar 2026 - 7:06

603

Views

How to solve $2y′′+8y′+80y=F(t), y(0)=0, y′(0)=0$?

Published on 25 Mar 2026 - 16:03

186

Views

Is $\int_0^1 f(x)dx$ bounded if $\int_0^1 f(x)dx - \int_0^1 f(y)dy$ is bounded?

Published on 16 Oct 2018 - 0:03

815

Views

What is the automorphism group of $D_5$ (and, more generally, of $D_n$)?

Published on 12 Apr 2026 - 19:33

List Question

Matrix/vector proof

Show that $L(O)=O$ if $L$ is a linear map from one vector space to another

Proving that a unit disc is open in $\mathbf{R}^2$.

A proof of Transfinite Induction

Validate the proof that the sequence $x_n = \sum_{k=1}^{n} {1\over n+k}$ is bounded.

Is this proof correct or am I trying to prove a falsehood?

The non-empty intersection of two open discs contains an open disc.

Smooth extension of a smooth map on an non-empty open subset of a manifold to the whole manifold.

Constructing a Borel Measure

convergent sequence of continuous functions with non-integrable limit

Proving $\cup A_m$ $\subseteq$ B

Proving the pullback of monics is monic.

How to solve $2y′′+8y′+80y=F(t), y(0)=0, y′(0)=0$?

Is $\int_0^1 f(x)dx$ bounded if $\int_0^1 f(x)dx - \int_0^1 f(y)dy$ is bounded?

What is the automorphism group of $D_5$ (and, more generally, of $D_n$)?

Trending Questions

Popular # Hahtags

Popular Questions