Math Notes

Hello There!

Aug 01, 20251 min read

Welcome to the depot. I dump my math notes here.

Recent Notes

Hypersurface vs. Hyperslice
Oct 01, 2025
Well-Definedness of Derivatives for Smooth Extensions
Sep 15, 2025
Stereographic Projection Atlas for the n-Sphere
Sep 15, 2025
Picard-Lindelöf Theorem
Sep 10, 2025
A-Equivalence and Local Normal Forms of Smooth Maps
Sep 10, 2025
Equivalence of Definitions of a Regular Map
Sep 05, 2025
Tensor Products of Z-Modules III (Tensor Product of R-Vector Spaces over Z)
Sep 04, 2025
Tensor Products of Z-Modules II (Tensor Product of Two Fields over the Integers)
Sep 04, 2025
Tensor Products of Z-Modules
Sep 04, 2025
Lebesgue Decomposition of Probability Distributions II (The CDF Approach)
Sep 03, 2025
Lebesgue Decomposition of Probability Distributions (The Measure-Theoretic Approach)
Sep 02, 2025
Lebesgue–Stieltjes Measures and Atoms
Sep 02, 2025
Measurability of the Derivative
Aug 29, 2025
Torsion-Free and Divisible Modules over an Integral Domain
Aug 28, 2025
Regular Maps and Regular Functions
Aug 27, 2025
Equivalence of Moderate Growth Definitions on GL(2,R) and SL(2,R)
Aug 26, 2025
Application of Nagata's Criterion for Factoriality
Aug 25, 2025
Structure Theorem for Finitely Generated Modules over a PID
Aug 24, 2025
Integrability on Finite Measure Spaces via Tail Integral
Aug 12, 2025
Fourier Series of Functions III: Fourier Series Expansion for Piecewise Smooth Functions
Aug 11, 2025
Fourier Series of Functions II: Fourier Series Expansion
Aug 10, 2025
Fourier Series of Functions I: Trigonometric Series
Aug 09, 2025
Equivalence of Casimir Element Expressions for gl(2,R)
Aug 07, 2025
Exact Functors Commute with (Co)homology
Aug 06, 2025
Finitely Generated Modules over Noetherian Rings are Finitely Presented
Aug 05, 2025
Injective Cogenerator
Aug 04, 2025
Injectivity of Divisible Modules over PIDs and of Torsion-Free Divisible Modules over Domains
Aug 03, 2025
Order‑Theoretic Limsup and Liminf
Aug 02, 2025
Hello There!
Aug 01, 2025

Graph View

Created with Quartz v4.5.2 © 2025

GitHub
Discord Community