Categories
Tags
Proof-explanation
New post in Proof-explanation
Understanding the proof that the series $\sum \frac{1}{n^2}$ is convergent
August 21st, 2022
proof-explanation
real-analysis
There exists a real number y so that for all real numbers x, x + y is rational true or false?
July 23rd, 2022
discrete-mathematics
proof-explanation
proof-writing
proof-verification
Singular value decomposition proof
December 15th, 2022
svd
least-squares
proof-explanation
proof-writing
proof-verification
if A then B & if not A then C
December 8th, 2022
proof-explanation
education
discrete-mathematics
logic
propositional-calculus
3 Prisoners problem question: I think Prisoner C is correct.
September 1st, 2020
proof-explanation
probability
$\det(aI-T) = 0$ implies $a$ is an eigenvalue of $T$
February 19th, 2020
linear-algebra
proof-explanation
How is $f(x)=\tan(x)$ bijective for $(-\frac{\pi}{2}, \frac{\pi}{2})$ and not for an unrestricted domain?
November 16th, 2020
functions
proof-explanation
proof-verification
How to prove the intersection of functions is a function
November 28th, 2020
functions
elementary-set-theory
proof-explanation
proof-writing
Test for Onto function
March 17th, 2020
functions
proof-explanation
(Proof Check) Cosets: $aH=Ha$ if and only if $H=aHa^{-1}$ and question about coset multiplication
March 16th, 2020
proof-verification
proof-explanation
group-theory
abstract-algebra
Show that the function $f$ is attain its minimum or maximum value and bounded on $\mathbb R$
January 14th, 2020
continuity
proof-explanation
Define a relation R on R by xRy if and only if y − x ∈ Z.
August 1st, 2022
equivalence-relations
proof-explanation
Proof of Cayley-Hamilton Theorem for Diagonalisable Matrices [Lay P326 Ch 5 Sup Q7]
August 1st, 2022
linear-algebra
proof-explanation
proof-verification
matrices
Proving two integers of opposite parity have an even product?
August 8th, 2020
proof-explanation
discrete-mathematics
proof-writing
Let A,B,C and D be sets. Prove that
March 7th, 2020
discrete-mathematics
proof-explanation
Proving Gale-Shapley algorithm completes in $O(n^2)$
February 23rd, 2020
computer-science
proof-explanation
asymptotics
algorithms
Proving that the number of full nodes + 1 is equal to the number of leaves in a nonempty binary tree
August 1st, 2022
proof-explanation
trees
Are these statements true or false?
July 4th, 2020
real-numbers
real-analysis
proof-explanation
Prove that (A-B) - C ⊆ A - C
September 18th, 2020
proof-explanation
elementary-set-theory
proof-verification
Determine if A must be diagonalizable, never diagonalizable, or only under certain conditions
July 12th, 2020
matrices
proof-explanation
diagonalization
linear-algebra
How to prove that $6n^2 + 20n \notin \Omega{(n^3)}$
September 1st, 2020
algorithms
proof-explanation
asymptotics
Why do I have to negate the definition of an intersection to prove that complement (A∩B) = complement(A) ∪ complement(B)?
October 18th, 2020
discrete-mathematics
elementary-set-theory
proof-explanation
Discrete Math Induction Proof for summation
December 7th, 2020
induction
discrete-mathematics
proof-explanation
Finding Variance of the Hypergeometric distribution
November 8th, 2020
variance
proof-explanation
probability-distributions
Prove given A and B ∈ 𝝡n(ℝ) , and A and B are symmetric then AB is symmetric
November 13th, 2020
proof-explanation
linear-algebra
matrices
proof-verification
Prove: If $V$ is a finite dimensional vector space with $\dim V = n$ and $T$ is a linear transformation...
May 6th, 2020
proof-explanation
linear-algebra
diagonalization
R is UFD iff R[x] is UFD.
April 29th, 2020
proof-explanation
unique-factorization-domains
ring-theory
abstract-algebra
Let $W$ be the set of all linear combinations of $v_1,...,v_n$. Then $W$ is a subspace of $V$.
August 1st, 2022
proof-explanation
linear-algebra
Let $S$= Sup $M$. Prove there exists a sequence that converges to $S$.
April 14th, 2020
real-analysis
convergence-divergence
analysis
proof-explanation
supremum-and-infimum
Union and Intersection is Associative/Family of Sets
August 27th, 2020
intuition
proof-explanation
elementary-set-theory
associativity
visualization
←
1
2
3
4
5
6
7
8
9
…
15
16
→