<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>Alëksis Arendt</title>
    <link>https://aleksis.dev</link>
    <description>Notes on measure theory, functional analysis, and geometry.</description>
    <language>en</language>
    <atom:link href="https://aleksis.dev/feed.xml" rel="self" type="application/rss+xml" />
    <lastBuildDate>Tue, 26 May 2026 01:21:08 GMT</lastBuildDate>
    
    <item>
      <title><![CDATA[Picard-Lindelöf Theorem]]></title>
      <link>https://aleksis.dev/blog/6-picard</link>
      <guid isPermaLink="true">https://aleksis.dev/blog/6-picard</guid>
      <description><![CDATA[We discuss the Picard-Lindelöf theorem on local existence and uniqueness of solutions to first-order ODEs, building up from the completeness of C(K,E) under the supremum norm, the Banach fixed point theorem, and Grönwall's inequality.]]></description>
      <pubDate>Mon, 07 Apr 2025 00:00:00 GMT</pubDate>
      <enclosure url="https://aleksis.dev/thumbnails/picard.jpg" type="image/jpeg" length="0" />
    </item>
    <item>
      <title><![CDATA[Fatou's Lemma and applications]]></title>
      <link>https://aleksis.dev/blog/4-fatou</link>
      <guid isPermaLink="true">https://aleksis.dev/blog/4-fatou</guid>
      <description><![CDATA[We discuss Fatou's lemma, a fundamental inequality that allows interchange of limits and integrals for nonnegative measurable functions, together with its classical applications to MCT, DCT and completeness of Lp space.]]></description>
      <pubDate>Mon, 07 Apr 2025 00:00:00 GMT</pubDate>
      <enclosure url="https://aleksis.dev/thumbnails/fatou.jpg" type="image/jpeg" length="0" />
    </item>
    <item>
      <title><![CDATA[Linear Transformations and the Scaling of Lebesgue Measure]]></title>
      <link>https://aleksis.dev/blog/3-lebesgue_invariant</link>
      <guid isPermaLink="true">https://aleksis.dev/blog/3-lebesgue_invariant</guid>
      <description><![CDATA[How the determinant controls volume distortion, and why translation invariance uniquely characterizes Lebesgue measure up to a scalar.]]></description>
      <pubDate>Sun, 06 Apr 2025 00:00:00 GMT</pubDate>
      <enclosure url="https://aleksis.dev/thumbnails/lebesgue.jpg" type="image/jpeg" length="0" />
    </item>
    <item>
      <title><![CDATA[Surface area and volume of a sphere in finite Euclidean space]]></title>
      <link>https://aleksis.dev/blog/2-unit_sphere_volume</link>
      <guid isPermaLink="true">https://aleksis.dev/blog/2-unit_sphere_volume</guid>
      <description><![CDATA[A derivation of the volume of the Euclidean unit ball and the surface area of the unit sphere via spherical coordinates, induced metrics, and the Gaussian integral.]]></description>
      <pubDate>Sun, 06 Apr 2025 00:00:00 GMT</pubDate>
      <enclosure url="https://aleksis.dev/thumbnails/sphere.jpg" type="image/jpeg" length="0" />
    </item>
    <item>
      <title><![CDATA[Proof of the Arzelà–Ascoli Theorem]]></title>
      <link>https://aleksis.dev/blog/1-arzela_ascoli</link>
      <guid isPermaLink="true">https://aleksis.dev/blog/1-arzela_ascoli</guid>
      <description><![CDATA[Equicontinuity, uniform boundedness, and why compactness in function spaces requires more than pointwise control.]]></description>
      <pubDate>Sat, 05 Apr 2025 00:00:00 GMT</pubDate>
      <enclosure url="https://aleksis.dev/thumbnails/arzela.jpg" type="image/jpeg" length="0" />
    </item>
    <item>
      <title><![CDATA[Vitali Covering Theorem]]></title>
      <link>https://aleksis.dev/blog/5-vitali_covering</link>
      <guid isPermaLink="true">https://aleksis.dev/blog/5-vitali_covering</guid>
      <description><![CDATA[A proof of the Vitali covering theorem via Zorn's lemma and a 5B covering argument.]]></description>
      <pubDate>Fri, 04 Apr 2025 00:00:00 GMT</pubDate>
      <enclosure url="https://aleksis.dev/thumbnails/vitali.jpg" type="image/jpeg" length="0" />
    </item>
  </channel>
</rss>