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
๐Ÿ“– Span The span of a set $S \\subseteq V$ is the set of all linear combinations of vectors in $S$: $\\text{span}(S) = \\{c_1 v_1 + \\cdots + c_n v_n : c_i \\in F, v_i \\in S\\}$. From: Advanced Linear Algebra Learn more: Explore all courses:
๐Ÿ“ Theorem 4.2 (Sequential Characterization) $\\lim_{x \\to p} f(x) = q$ if and only if for every sequence $\\{p_n\\}$ in $E$ with $p_n \\neq p$ and $p_n \\to p$, we have $f(p_n) \\to q$. From: rudin Learn more: Explore all courses:
๐Ÿ“ Principle of Duality In projective geometry, any theorem remains valid when "point" and "line" are interchanged, and "lies on" and "passes through" are interchanged. From: Four Pillars of Geometry Learn more: Explore all courses:
๐Ÿ“ Arc Length Differential For a small piece of a curve, the arc length element is $ds = \\sqrt{(dx)^2 + (dy)^2} = \\sqrt{1 + \\left(\\frac{dy}{dx}\\right)^2} \\, dx$. Integrating these infinitesimal pieces gives the total arc length. From: Beginner Calculus Learn more: Explore all courses:
๐Ÿ“ Kuratowski A graph is planar if and only if it contains no subdivision of $K_5$ or $K_{3,3}$. Proof: Subdivisions of $K_5$ and $K_{3,3}$ are not planar (edge bound: $K_5$ has 10 edges but $3(5)-6=9$; $K_{3,3}$ is triangle-free with 9 edges but $2(6)-4=8$). Conversely, suppose $G$ is non-planar and edge-minimal. Show $G$ is 3-connected. Contract an edge to get a smaller non-planar graph with a Ku... From: Introduction to Graph Theory Learn more: Explore all courses:
๐Ÿ’ก Proposition I.14 If with any straight line, and at a point on it, two straight lines not lying on the same side make the adjacent angles equal to two right angles, the two straight lines will be in a straight line with one another. From: Euclid's Elements Learn more: Explore all courses:
๐Ÿ“ Theorem 2.41 (Heine-Borel Theorem) A subset of $\\mathbb{R}^k$ is compact if and only if it is closed and bounded. Proof: ($\\Rightarrow$) Compact sets are closed (Theorem 2.34) and bounded (covered by finitely many bounded balls). ($\\Leftarrow$) If $E$ is closed and bounded, then $E \\subset I$ for some $k$-cell $I$. $I$ is compact by Theorem 2.38. Since $E$ is closed, $E$ is a closed subset of compact $I$. By ... From: rudin Learn more: Explore all courses:
๐Ÿ“ Three Prerequisites of Action Action requires: (1) Uneasinessโ€”felt dissatisfaction with present state; (2) Image of improvementโ€”conception of a better state; (3) Expectation of efficacyโ€”belief that action can help achieve improvement. From: Human Action Learn more: Explore all courses:
๐Ÿ“ Polar Decomposition Every linear operator $T$ on an inner product space can be written as $T = UP$ where $U$ is unitary and $P = \\sqrt{T^*T}$ is positive. Proof: Define $P = \\sqrt{T^*T}$ using the spectral theorem. On $\\mathrm{im}\\, P$, define $U$ by $U(Pv) = Tv$. This is well-defined and isometric. Extend to an orthonormal basis. From: adv_linalg Learn more: Explore all courses:
๐Ÿ“– Interior Point Let $S \\subseteq \\mathbb{R}^n$ and $a \\in S$. Then $a$ is an \\textbf{interior point} of $S$ if there exists an open n-ball $B(a; r)$ such that $B(a; r) \\subseteq S$. The set of all interior points of $S$ is called the \\textbf{interior} of $S$, denoted $\\text{int } S$. From: calc2 Learn more: Explore all courses:
๐Ÿ’ก Operating Profitability Enhancement Companies can systematically sell Bitcoin gains and include them in operating revenue, improving operating profitability. This creates genuine cost reduction because Bitcoin outperforms USD by design. From: bfi Learn more: Explore all courses:
๐Ÿ’ก Line Segment Bisection Given segment $AB$, construct circles of radius $|AB|$ centered at $A$ and $B$. The line through their intersection points is the perpendicular bisector of $AB$. Proof: The intersection points $C$ and $D$ are equidistant from both $A$ and $B$ (each lies on both circles). Therefore $CD$ is the locus of points equidistant from $A$ and $B$, which is the perpendicular bisector. From: Four Pillars of Geometry Learn more: Explore all courses:
๐Ÿ“– ECDSA Signature Scheme ECDSA (Elliptic Curve Digital Signature Algorithm) on secp256k1 creates signatures $(r, s)$ where $r$ is derived from a random nonce point and $s = k^{-1}(z + rd) \\mod n$, with $z$ the message hash, $d$ the private key, and $n$ the curve order. From: bips Learn more: Explore all courses:
๐Ÿ’ก Proposition VII.7 If a number be that part of a number, which a number subtracted is of a number subtracted, the remainder will also be the same part of the remainder that the whole is of the whole. From: Euclid's Elements Learn more: Explore all courses:
โ†‘