Heart Proofs One proof a day keeps the doctor away
Proofs Summaries Thoughts Recommendations Resources Study spaces About Subscribe

All math posts

Summaries Real Analysis › HUJI Infinitesimal Calculus 2 15 Oct 2026

חשבון אינפיניטסימלי 2 - לקט שאלות

Summaries Real Analysis › HUJI Infinitesimal Calculus 2 15 Oct 2026

חשבון אינפיניטסימלי 2 - אוסף נוסחאות

כלל המכפלה וכלל המנה:

Proofs Real Analysis › HUJI Infinitesimal Calculus 1 › Functions 13 Oct 2026

The intermediate value theorem

Let \(a,b,\gamma\in\mathbb{R}\) s.t. \(a<b\) and let \(f:D\rightarrow\mathbb{R}\) be a continuous function s.t. \(\left[a,b\right]\subseteq D\) and \(f(a)\ne f(b)\).

Summaries Linear Algebra › HUJI Linear Algebra 2 11 Oct 2026

אלגברה ליניארית 2 - סיכום

Proofs Linear Algebra › Linear Algebra Done Right by Axler › Chapter 2: Finite-Dimensional Vector Spaces 7 Oct 2026

Exercises 2B, Q1

Determine all vector spaces that have exactly one basis, up to reordering, and prove that no others exist. Note that this is different from the original question.

Proofs Real Analysis › HUJI Infinitesimal Calculus 2 › Quizzes 5 Oct 2026

Semester 2026B, Quiz 1

Quiz 1 in the course Infinitesimal Calculus (2), semester 2026 B.

Proofs Real Analysis › HUJI Infinitesimal Calculus 1 › Quizzes 1 Oct 2026

Semester 2026A, Quiz 4

Quiz 4 in the course Infinitesimal Calculus (1), semester 2026 A.

Proofs Real Analysis › HUJI Infinitesimal Calculus 1 › Sequences 30 Sep 2026

A Problem on the Convergence of a Recursive Sequence Depending on Its Initial Value

Let \(\left(a_{n}\right)_{n=1}^{\infty}\) be a sequence s.t. \(\forall n\in\mathbb{N}\quad a_{n+1}=a_{n}\cdot(1-a_{n})\).

Proofs Real Analysis › HUJI Infinitesimal Calculus 1 › Functions 28 Sep 2026

Weierstrass Extreme Value Theorem

Let \(f:\left[a,b\right]\rightarrow\mathbb{R}\) be a continuous function from \(\left[a,b\right]\) to \(\mathbb{R}\).

Proofs Real Analysis › HUJI Infinitesimal Calculus 1 › Functions 22 Sep 2026

Weierstrass Boundedness Theorem

Let \(f:\left[a,b\right]\rightarrow\mathbb{R}\) be a continuous function from \(\left[a,b\right]\) to \(\mathbb{R}\).

Proofs Real Analysis › HUJI Infinitesimal Calculus 1 › The Field of Real Numbers 14 Sep 2026

Archimedean Property

(The Archimedean Property). \(\mathbb{N}\) is not bounded from above in \(\mathbb{R}\).

Proofs Real Analysis › HUJI Infinitesimal Calculus 1 › Derivatives 14 Sep 2026

Fermat’s Theorem

Let \(f:\left(a,b\right)\rightarrow\mathbb{R}\) be a function from \(\left(a,b\right)\) to \(\mathbb{R}\) and suppose that \(x_{0}\in\left(a,b\right)\) is a point where \(f\) has a local extremum. If \(f\) is…

Proofs Real Analysis › HUJI Infinitesimal Calculus 1 › Sequences 14 Sep 2026

The Bolzano-Weierstrass Theorem

When I write monotonically increasing or decreasing, I refer to the weak sense.

Proofs Linear Algebra › HUJI Linear Algebra 1 › Spans, Bases and Dimensions 9 Sep 2026

Semester 2026A, Exam B, Q3

Let \(V\) be a vector space over \(\mathbb{R}\) and let \((v_{1},v_{2},v_{3})\) be a linearly independent sequence of vectors from \(V\). Determine for which values \(a\in\mathbb{R}\) the sequence…

Proofs Linear Algebra › HUJI Linear Algebra 1 › Matrix Representations of Linear Maps and Change of Basis Matrices 8 Sep 2026

Semester 2026A, Exam A, Q1

Let \(V,W\) be vector spaces, let \(T\colon V\to W\) be a linear map, let \(\mathcal{B},\mathcal{C}\) be bases of \(V\) and \(W\) respectively, and let \(v\in V\). Prove that…

Proofs Linear Algebra › HUJI Linear Algebra 1 › Spans, Bases and Dimensions 8 Sep 2026

Semester 2026A, Exam A, Q4

Let \(V\) be a vector space and let \(v_{1},\dots,v_{n},u,w\in V\) be such that the sequence \((v_{1},v_{2},\dots,v_{n},u)\) is linearly dependent, while the sequence \((v_{1},\dots,v_{n},w)\) is linearly independent.

Proofs Linear Algebra › HUJI Linear Algebra 1 › Linear Transformations 8 Sep 2026

Semester 2026A, Exam A, Q6

Let \(\mathbb{F}\) be a field and let \(V=\mathbb{F}[X]_{\le3}\).

Proofs Linear Algebra › HUJI Linear Algebra 1 › Linear Transformations 8 Sep 2026

Semester 2026A, Exam A, Q7

Let \(V\) be a vector space with \(\dim V=n\), and let \(T\colon V\to V\) be a linear map such that \(\operatorname{Im}(T)\cap\ker(T)\ne\{0_{V}\}\). Prove that \(\operatorname{rk}(T\circ T)\le n-2\).

Proofs Linear Algebra › HUJI Linear Algebra 1 › Matrix Representations of Linear Maps and Change of Basis Matrices 8 Sep 2026

Semester 2026A, Exam A, Q9

Are the following matrices similar?…

Proofs Linear Algebra › HUJI Linear Algebra 1 › Determinants and Volume Functions 7 Sep 2026

Semester 2026A, Exam A, Q2

Let \(D\colon M_{n\times n}(\mathbb{F})\to\mathbb{F}\) be a volume function, and let \(A\in M_{n\times n}(\mathbb{F})\).

Proofs Linear Algebra › HUJI Linear Algebra 1 › Matrices and Invertibility 7 Sep 2026

Semester 2026A, Exam B, Q1

Let \(A,B\in M_{n\times n}(\mathbb{F})\) be such that \(AB=I_{n}\). Prove that \(A\) and \(B\) are inverses of each other.

Proofs Linear Algebra › HUJI Linear Algebra 1 › Systems of Linear Equations 6 Sep 2026

Semester 2026A, Exam A, Q3

For each \(a\in\mathbb{R}\) we will define a system of linear equations over \(\mathbb{R}\) by \(\begin{cases} 7x+2ay+z & =a\\ 8x+3ay+z & =a\\ 10x+5ay+2z & =2a \end{cases}\)

Proofs Linear Algebra › HUJI Linear Algebra 1 › Matrices and Invertibility 6 Sep 2026

Semester 2026A, Exam A, Q8

Let \(A,B\in M_{m\times n}(\mathbb{R})\) be matrices and let \(b\in\mathbb{R}^{m}\), such that the system of linear equations \(Ax=b\) has a unique solution. Which of the following claims are true? If a claim is true…

Summaries Linear Algebra › HUJI Linear Algebra 1 5 Sep 2026

אלגברה ליניארית 1 - הסיכום המוכלל

האוניברסיטה העברית, אלגברה ליניארית (1) - \(80134\), סמסטר 2026 א’ (תשפ“ו א’).

Proofs Linear Algebra › HUJI Linear Algebra 1 › Spans, Bases and Dimensions 4 Sep 2026

Semester 2025B, Exam B, Q1

Let \(V\) be a finitely generated vector space such that \(\dim\ V=n\), and let \(\left(v_{1},\dots,v_{n}\right)\) be a sequence of vectors from \(V\). Prove that \(\left(v_{1},\dots,v_{n}\right)\) is linearly…

Proofs Linear Algebra › Linear Algebra Done Right by Axler › Chapter 1: Vector Spaces 3 Sep 2026

Result 1.45

condition for a direct sum

Proofs Real Analysis › HUJI Infinitesimal Calculus 1 › Sequences 3 Sep 2026

Semester 2026A, Exam A, Q1

Prove that a bounded sequence is converging if and only if it has exactly one partial limit.