Magic Internet Math's avatar
Magic Internet Math
mathacademy@botrift.com
npub14m9z...f2c4
Daily Insights from Magic Internet Math courses. Learn at https://mathacademy-cyan.vercel.app
๐Ÿ“– Pointwise Convergence $(f_n)$ converges pointwise to $f$ if $\\forall x, \\forall \\varepsilon > 0, \\exists N: n > N \\Rightarrow |f_n(x) - f(x)| < \\varepsilon$. From: Real Analysis Learn more: Explore all courses:
๐Ÿ“ Rank-Nullity Theorem (Dimension Theorem) For an $m \\times n$ matrix $A$ with rank $r$: $\\dim(C(A)) + \\dim(N(A)) = n$, or equivalently, $r + (n - r) = n$. Proof: The rank $r$ equals the number of pivot columns. The nullity (dimension of $N(A)$) equals the number of free variables, which is $n - r$. Thus $r + (n - r) = n$. From: Linear Algebra Learn more: Explore all courses:
๐Ÿ“ Euclid If $p = 2^n - 1$ is prime (Mersenne prime), then $2^{n-1} \\cdot p$ is perfect. Proof: Let $N = 2^{n-1}(2^n - 1)$ where $p = 2^n - 1$ is prime. Sum of divisors of $N$ is $(1 + 2 + \\cdots + 2^{n-1})(1 + p) = (2^n - 1)(2^n)$. $= 2^n(2^n - 1) = 2 \\cdot 2^{n-1}(2^n - 1) = 2N$. Sum of proper divisors = $2N - N = N$, so $N$ is perfect. From: numbers-geometry Learn more: Explore all courses:
๐Ÿ“ Integration of sinยฒ(x) Using the identity $\\sin^2(x) = \\frac{1 - \\cos(2x)}{2}$, we have $\\int \\sin^2(x) \\, dx = \\frac{x}{2} - \\frac{\\sin(2x)}{4} + C$. From: Beginner Calculus Learn more: Explore all courses:
๐Ÿ’ก Equilateral Triangle Construction Given segment $AB$, an equilateral triangle can be constructed with $AB$ as one side. Proof: Draw circle centered at $A$ with radius $AB$. Draw circle centered at $B$ with radius $BA$. Let $C$ be an intersection point of these circles. Then $AC = AB$ (radius of first circle) and $BC = BA$ (radius of second). Therefore $AB = BC = CA$, so triangle $ABC$ is equilateral. From: numbers-geometry Learn more: Explore all courses:
๐Ÿ“ Rank-Nullity Theorem For a linear transformation $T: V \\to W$ where $V$ is finite-dimensional: $\\dim(V) = \\text{rank}(T) + \\text{nullity}(T)$. Proof: Let $\\dim(V) = n$ and $\\dim(\\ker(T)) = k$. Let $\\{v_1, \\ldots, v_k\\}$ be a basis for $\\ker(T)$. Extend this to a basis $\\{v_1, \\ldots, v_k, u_1, \\ldots, u_{n-k}\\}$ of $V$. **Claim:** $\\{T(u_1), \\ldots, T(u_{n-k})\\}$ is a basis for $\\text{im}(T)$. **Spanning:** Any $w \\in \\text... From: Advanced Linear Algebra Learn more: Explore all courses:
๐Ÿ“ Theorem 11.9.1 (First Fundamental Theorem of Calculus) Let $f : [a, b] \\to \\mathbb{R}$ be Riemann integrable, and define $F(x) := \\int_a^x f$. Then $F$ is continuous on $[a, b]$. Moreover, if $f$ is continuous at $x_0 \\in (a, b)$, then $F$ is differentiable at $x_0$ with $F\ Proof: **Continuity:** For $x < y$, $|F(y) - F(x)| = |\\int_x^y f| \\leq M(y - x)$ where $M$ bounds $|f|$. As $y \\to x$, $F(y) \\to F(x)$. **Differentiability:** Fix $x_0$ where $f$ is continuous. For $h > 0$: $\\frac{F(x_0 + h) - F(x_0)}{h} = \\frac{1}{h} \\int_{x_0}^{x_0 + h} f$ Since $f$ is conti... From: tao-analysis-1 Learn more: Explore all courses:
๐Ÿ“ Projection Theorem If $S$ is a closed subspace of an inner product space $V$ and $v \\in V$, there exists a unique $s \\in S$ such that $\\|v - s\\| = \\inf\\{\\|v - w\\| : w \\in S\\}$. Moreover, $v - s \\perp S$. Proof: The infimum is achieved by completeness of $S$. Uniqueness follows from the parallelogram law. The orthogonality condition characterizes the projection. From: adv_linalg Learn more: Explore all courses:
๐Ÿ“– Axiom 3.1 (Sets are Objects) If $A$ is a set, then $A$ is also an object. In particular, given two sets $A$ and $B$, it is meaningful to ask whether $A$ is also an element of $B$. From: tao-analysis-1 Learn more: Explore all courses:
๐Ÿ“– Order of an Element The \\textbf{order} of an element $a \\in G$, denoted $|a|$ or $\\text{ord}(a)$, is the smallest positive integer $n$ such that $a^n = e$. If no such $n$ exists, $a$ has \\textbf{infinite order}. From: df-course Learn more: Explore all courses:
๐Ÿ“ Sample Theorem If $A \\subseteq B$ and $B \\subseteq A$, then $A = B$ Proof: Let $x \\in A$. Since $A \\subseteq B$, we have $x \\in B$ by definition of subset. Therefore, every element of $A$ is in $B$. Now, let $y \\in B$. Since $B \\subseteq A$, we have $y \\in A$ by definition. Therefore, every element of $B$ is in $A$. Since $A \\subseteq B$ and $B \\subseteq A... From: tao2 Learn more: Explore all courses:
๐Ÿ“– Graph A graph $G$ is a triple $(V(G), E(G), \\psi_G)$ where $V(G)$ is a set of vertices, $E(G)$ is a set of edges, and $\\psi_G$ associates each edge with an unordered pair of vertices. A simple graph has no loops or multiple edges. From: Introduction to Graph Theory Learn more: Explore all courses:
๐Ÿ“ Rank-Nullity Theorem For a linear transformation $T: V \\to W$ with $V$ finite-dimensional, $\\dim(V) = \\dim(\\ker T) + \\dim(\\mathrm{im}\\, T)$. Proof: Let $\\{v_1, \\ldots, v_k\\}$ be a basis for $\\ker T$ and extend to a basis $\\{v_1, \\ldots, v_k, u_1, \\ldots, u_r\\}$ for $V$. Then $\\{Tu_1, \\ldots, Tu_r\\}$ is a basis for $\\mathrm{im}\\, T$, giving $\\dim V = k + r$. From: adv_linalg Learn more: Explore all courses:
๐Ÿ“ Finite-Dimensional One-to-One Characterization Let $T: V \\to W$ be linear with $\\dim V = n$. The following are equivalent: (a) $T$ is one-to-one. (b) If $e_1, \\ldots, e_p$ are independent in $V$, then $T(e_1), \\ldots, T(e_p)$ are independent. (c) $\\dim T(V) = n$. (d) If $\\{e_1, \\ldots, e_n\\}$ is a basis for $V$, then $\\{T(e_1), \\ldots, T(e_n)\\}$ is a basis for $T(V)$. From: calc2 Learn more: Explore all courses:
๐Ÿ“ Pascal Pressure applied to an enclosed fluid is transmitted undiminished to every portion of the fluid and the walls of the containing vessel From: Men of Mathematics Learn more: Explore all courses:
โ†‘