<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Kolmogorov on Aayush Bajaj's Augmenting Infrastructure</title><link>https://abaj.ai/tags/kolmogorov/</link><description>Recent content in Kolmogorov on Aayush Bajaj's Augmenting Infrastructure</description><generator>Hugo</generator><language>en</language><copyright>© 2026 Aayush Bajaj</copyright><lastBuildDate>Sun, 23 Aug 2026 19:49:47 +1000</lastBuildDate><atom:link href="https://abaj.ai/tags/kolmogorov/index.xml" rel="self" type="application/rss+xml"/><item><title>Solutions to Kolmogorov and Fomin's Introductory Real Analysis</title><link>https://abaj.ai/words/library/books/ira-fomin/</link><pubDate>Sun, 20 Jul 2025 02:42:32 +1100</pubDate><guid>https://abaj.ai/words/library/books/ira-fomin/</guid><description>&lt;div class="collapse-marker" data-target-path="/words/library/books/ira-fomin/" data-folded="true" data-lvl="0">&lt;/div>
&lt;div class="collapsible-container">
 &lt;style id="collapsible-css">
 
 .collapsible-wrapper {
 display: flex;
 align-items: center;
 margin-bottom: 0px;
 }

 
 .toggle-button {
 cursor: pointer;
 border: none;
 background: none;
 color: black;
 font-size: 1rem;
 width: 1.5rem; 
 height: 1.5rem;
 text-align: center;
 line-height: 1.5rem;
 margin-right: 8px;
 padding: 0;
 }

 [data-theme="dark"] .toggle-button {
 color: white; 
 }

 
 .toggle-button:focus {
 outline: none;
 }

 
 .collapsible-content {
 display: none;
 margin-left: 8px;
 margin-bottom: 0px;
 padding: 2px 0 2px 12px;
 border-left: 1px solid rgba(0, 0, 0, 0.1);
 transition: all 0.3s ease-out;
 }

 
 [data-theme="dark"] .collapsible-content {
 border-left-color: rgba(255, 255, 255, 0.12);
 }

 
 .collapsible-content.show {
 display: block;
 }
 &lt;/style>

 &lt;script src="https://abaj.ai/js/collapsible-global.js">&lt;/script>
&lt;/div>

&lt;h2 id="set-theory">Set Theory&lt;a href="#set-theory" class="post-heading__anchor" aria-hidden="true">#&lt;/a>
&lt;/h2>
&lt;div class="collapsible-container">
 &lt;script type="text/javascript">
 var folded = 'true';
 &lt;/script>
&lt;/div>

&lt;h3 id="sets-and-functions">Sets and Functions&lt;a href="#sets-and-functions" class="post-heading__anchor" aria-hidden="true">#&lt;/a>
&lt;/h3>
&lt;div class="math-problem">
 &lt;div class="math-problem-header">
 &lt;strong>Problem&lt;span class="problem-counter">&lt;/span>&lt;/strong>
 &lt;/div>
 &lt;div class="math-problem-content">
 Prove that if \(A\cup B = A\) and \(A \cap B = A\), then \(A = B\).
 &lt;/div>
&lt;/div>
&lt;script>
document.addEventListener("DOMContentLoaded", function () {
 
 var problems = document.querySelectorAll(".problem-counter");
 problems.forEach(function (counter, index) {
 counter.textContent = " " + (index + 1);
 });

 
 var problemContainers = document.querySelectorAll(".math-problem");
 problemContainers.forEach(function (problem) {
 var subproblems = problem.querySelectorAll(".subproblem-counter");
 subproblems.forEach(function (counter, index) {
 counter.textContent = " " + String.fromCharCode(97 + index) + ")";
 });
 });

 
 var theorems = document.querySelectorAll(".theorem-counter");
 theorems.forEach(function (counter, index) {
 counter.textContent = " " + (index + 1);
 });

 
 var definitions = document.querySelectorAll(".definition-counter");
 definitions.forEach(function (counter, index) {
 counter.textContent = " " + (index + 1);
 });

 
 var lemmas = document.querySelectorAll(".lemma-counter");
 lemmas.forEach(function (counter, index) {
 counter.textContent = " " + (index + 1);
 });

 
 var corollaries = document.querySelectorAll(".corollary-counter");
 corollaries.forEach(function (counter, index) {
 counter.textContent = " " + (index + 1);
 });

 
 var propositions = document.querySelectorAll(".proposition-counter");
 propositions.forEach(function (counter, index) {
 counter.textContent = " " + (index + 1);
 });

 
 var examples = document.querySelectorAll(".example-counter");
 examples.forEach(function (counter, index) {
 counter.textContent = " " + (index + 1);
 });

 
 var remarks = document.querySelectorAll(".remark-counter");
 remarks.forEach(function (counter, index) {
 counter.textContent = " " + (index + 1);
 });

 
 function restoreSolutionStates() {
 var details = document.querySelectorAll(".math-subsolution[data-solution-id]");
 details.forEach(function (detail) {
 var id = detail.getAttribute("data-solution-id");
 var savedState = localStorage.getItem("solution-" + id);
 if (savedState === "open") {
 detail.setAttribute("open", "");
 }
 });
 }

 function saveSolutionState(detail) {
 var id = detail.getAttribute("data-solution-id");
 if (id) {
 var isOpen = detail.hasAttribute("open");
 localStorage.setItem("solution-" + id, isOpen ? "open" : "closed");
 }
 }

 
 restoreSolutionStates();

 
 document.addEventListener("toggle", function (event) {
 if (event.target.classList.contains("math-subsolution")) {
 saveSolutionState(event.target);
 }
 }, true);
});
&lt;/script>
&lt;div class="math-solution">
 &lt;div class="math-solution-header">
 &lt;strong>Solution&lt;/strong>
 &lt;/div>
 &lt;div class="math-solution-content">
 To show \(A=B\), show \(A\subseteq B\) and \(B\subseteq A\). Suppose \(x\in B\), then we know by definition that \(x\in (A\cup B)\) if \(x\in B\) or \(x\in A\). Which then implies that \(x\in A\) from rule 1. Thus \(B\subseteq A\).
Now suppose \(x\in A\) which implies \(x\in (A\cap B)\) (rule 2). The definition of this &lt;strong>means&lt;/strong> that \(x\in A\) and \(x\in B\). \(\therefore x\in A \implies x\in B\), i.e. \(A\subseteq B\), so \(A=B\).
 &lt;/div>
&lt;/div>
&lt;div class="math-problem">
 &lt;div class="math-problem-header">
 &lt;strong>Problem&lt;span class="problem-counter">&lt;/span>&lt;/strong>
 &lt;/div>
 &lt;div class="math-problem-content">
 Show that in general \((A-B)\cup B \neq A\).
 &lt;/div>
&lt;/div>
&lt;div class="math-solution">
 &lt;div class="math-solution-header">
 &lt;strong>Solution&lt;/strong>
 &lt;/div>
 &lt;div class="math-solution-content">
 This only holds for \(B\subseteq A\). We proceed by counterexample.
Let \(A={1,2}, B={3,4}\). Then \((A-B) = {1,2}\) and \((A-B)\cup B = {1,2,3,4} \neq {1,2}\).
 &lt;/div>
&lt;/div>
&lt;div class="math-problem">
 &lt;div class="math-problem-header">
 &lt;strong>Problem&lt;span class="problem-counter">&lt;/span>&lt;/strong>
 &lt;/div>
 &lt;div class="math-problem-content">
 Let \(A = {2,4,&amp;hellip;,2n,&amp;hellip;}\) and \(B = {3,6,&amp;hellip;,3n,&amp;hellip;}\). Find \(A\cap B\) and \(A-B\)
 &lt;/div>
&lt;/div>
&lt;div class="math-solution">
 &lt;div class="math-solution-header">
 &lt;strong>Solution&lt;/strong>
 &lt;/div>
 &lt;div class="math-solution-content">
 \[
A\cap B = {6n \mid n\in \mathbb{N}}
\]
\[
A - B = {2n \mid n\in \mathbb{N}, 2n \not\in {6m \mid m\in \mathbb{N}}}
\]
 &lt;/div>
&lt;/div>
&lt;div class="math-problem">
 &lt;div class="math-problem-header">
 &lt;strong>Problem&lt;span class="problem-counter">&lt;/span>&lt;/strong>
 &lt;/div>
 &lt;div class="math-problem-content">
 Prove that:
 &lt;/div>
&lt;/div>
&lt;div class="math-subproblem">
 &lt;div class="math-subproblem-header">
 &lt;strong>(&lt;span class="subproblem-counter">&lt;/span>)&lt;/strong>
 &lt;/div>
 &lt;div class="math-subproblem-content">
 \((A-B)\cap C = (A\cap C) - (B\cap C)\)
 &lt;/div>
&lt;/div>
&lt;script>
document.addEventListener("DOMContentLoaded", function () {
 setTimeout(function () {
 var problems = document.querySelectorAll(".math-problem");

 problems.forEach(function (problem, problemIndex) {
 var subElements = [];
 var nextElement = problem.nextElementSibling;
 var subCounter = 0;
 var scanCount = 0;
 var maxScanElements = 50;

 while (nextElement &amp;&amp; scanCount &lt; maxScanElements) {
 scanCount++;

 if (nextElement.nodeType === 3 &amp;&amp; nextElement.textContent.trim() === "") {
 nextElement = nextElement.nextElementSibling;
 continue;
 }

 if (nextElement.tagName &amp;&amp; (nextElement.tagName.toLowerCase() === "style" || nextElement.tagName.toLowerCase() === "script")) {
 nextElement = nextElement.nextElementSibling;
 continue;
 }

 if (nextElement.tagName &amp;&amp; nextElement.tagName.toLowerCase() === "p" &amp;&amp; (!nextElement.textContent || nextElement.textContent.trim() === "")) {
 nextElement = nextElement.nextElementSibling;
 continue;
 }

 if (nextElement &amp;&amp; nextElement.classList &amp;&amp;
 (nextElement.classList.contains("math-subproblem") ||
 nextElement.classList.contains("math-subsolution") ||
 nextElement.classList.contains("math-subanswer") ||
 nextElement.classList.contains("math-subhint") ||
 nextElement.classList.contains("math-subsketch") ||
 nextElement.classList.contains("math-solution") ||
 nextElement.classList.contains("math-answer") ||
 nextElement.classList.contains("math-hint") ||
 nextElement.classList.contains("math-sketch"))) {
 subElements.push(nextElement);
 nextElement = nextElement.nextElementSibling;
 } else if (nextElement &amp;&amp; nextElement.classList &amp;&amp; nextElement.classList.contains("math-problem")) {
 break;
 } else {
 nextElement = nextElement.nextElementSibling;
 continue;
 }
 }

 if (subElements.length > 0) {
 problem.style.borderBottomLeftRadius = "0";
 problem.style.borderBottomRightRadius = "0";
 problem.style.borderBottom = "1px solid var(--bg2, #e5e5e5)";
 problem.style.marginBottom = "0";

 subElements.forEach(function (element, index) {
 element.parentNode.removeChild(element);

 if (element.classList.contains("math-subproblem")) {
 var counter = element.querySelector(".subproblem-counter");
 if (counter) {
 counter.textContent = String.fromCharCode(97 + subCounter);
 subCounter++;
 }
 } else if (element.classList.contains("math-subsketch")) {
 var counter = element.querySelector(".subsketch-counter");
 if (counter) {
 counter.textContent = String.fromCharCode(97 + subCounter);
 subCounter++;
 }
 }

 element.style.cssText = "";
 element.style.setProperty("background", "transparent", "important");
 element.style.setProperty("border", "none", "important");
 element.style.setProperty("margin", "0", "important");
 element.style.setProperty("padding", "0.5rem 0", "important");
 element.style.setProperty("margin-left", "1.5rem", "important");

 if (element.classList.contains("math-subproblem")) {
 element.style.setProperty("border-top", "1px solid var(--bg2, #e5e5e5)", "important");
 element.style.setProperty("padding-top", "0.75rem", "important");
 } else if (element.classList.contains("math-solution") ||
 element.classList.contains("math-answer") ||
 element.classList.contains("math-hint") ||
 element.classList.contains("math-sketch")) {
 element.style.setProperty("margin", "1rem 0 0 0", "important");
 element.style.setProperty("padding", "1rem", "important");
 element.style.setProperty("border-top", "1px solid var(--bg2, #e5e5e5)", "important");
 }

 problem.appendChild(element);
 });

 setTimeout(function() {
 reinitializeMovedContent(problem);
 }, 50);
 }
 });
 }, 200);

 function reinitializeMovedContent(container) {
 reinitializeMarginNotes(container);
 }

 function reinitializeMarginNotes(container) {
 if (window.marginNotesDisabled) return;

 var marginNotesContainer = document.getElementById("margin-notes-container");
 if (!marginNotesContainer) return;

 var movedMarginNotes = container.querySelectorAll(".margin-note");
 if (movedMarginNotes.length === 0) return;

 movedMarginNotes.forEach(function(note, index) {
 var noteContent = note.getAttribute("data-note");
 if (!noteContent) return;

 var noteId = note.getAttribute("id");
 if (!noteId) {
 noteId = "margin-note-moved-" + Date.now() + "-" + index;
 note.setAttribute("id", noteId);
 }

 var marginNoteElement = marginNotesContainer.querySelector('[data-for="' + noteId + '"]');

 if (!marginNoteElement) {
 marginNoteElement = document.createElement("div");
 marginNoteElement.className = "margin-note-item";
 marginNoteElement.innerHTML = noteContent;
 marginNotesContainer.appendChild(marginNoteElement);
 }

 positionMarginNote(note, marginNoteElement);
 marginNoteElement.setAttribute("data-for", noteId);
 setupMarginNoteEvents(note, marginNoteElement);
 });
 }

 function setupMarginNoteEvents(note, marginNoteElement) {
 var newNote = note.cloneNode(true);
 note.parentNode.replaceChild(newNote, note);

 newNote.addEventListener("mouseenter", function() {
 marginNoteElement.classList.add("active");
 newNote.classList.add("active");
 });

 newNote.addEventListener("mouseleave", function() {
 marginNoteElement.classList.remove("active");
 newNote.classList.remove("active");
 });

 marginNoteElement.addEventListener("mouseenter", function() {
 newNote.classList.add("active");
 marginNoteElement.classList.add("active");
 });

 marginNoteElement.addEventListener("mouseleave", function() {
 newNote.classList.remove("active");
 marginNoteElement.classList.remove("active");
 });

 var indicator = newNote.querySelector(".margin-note-indicator");
 if (indicator) {
 indicator.addEventListener("click", function(e) {
 if (typeof window.toggleMarginNotes === "function") {
 window.toggleMarginNotes();
 }
 e.preventDefault();
 e.stopPropagation();
 });

 indicator.style.cursor = "pointer";
 indicator.style.userSelect = "none";
 indicator.style.pointerEvents = "auto";

 indicator.addEventListener("mouseenter", function(e) {
 var container = document.getElementById("margin-notes-container");
 if (container &amp;&amp; container.classList.contains("hidden")) {
 container.classList.remove("hidden");
 }
 marginNoteElement.classList.add("active");
 newNote.classList.add("active");
 e.stopPropagation();
 });
 }
 }

 function positionMarginNote(reference, marginNote) {
 var marginNotesContainer = document.getElementById("margin-notes-container");
 if (!marginNotesContainer) return;

 var isMobile = window.innerWidth &lt;= 1024;
 var isDesktopView = document.documentElement.classList.contains("desktop-view");

 if (isMobile &amp;&amp; !isDesktopView) return;

 var refRect = reference.getBoundingClientRect();
 var containerRect = marginNotesContainer.getBoundingClientRect();
 var topPosition = refRect.top - containerRect.top + marginNotesContainer.scrollTop + 8;

 marginNote.style.position = "absolute";
 marginNote.style.top = topPosition + "px";
 marginNote.setAttribute("data-for", reference.id);
 }
});
&lt;/script>
&lt;div class="math-subsolution">
 &lt;div class="math-subsolution-header">
 &lt;strong>Solution:&lt;/strong>
 &lt;/div>
 &lt;div class="math-subsolution-content">
 &lt;p>Let \(x\in (A-B)\cap C\).
Then:&lt;/p></description></item></channel></rss>