Let $\Omega \subseteq \mathbb{R}^n$ be a non-empty open set. The space of test functions on $\Omega$ is the vector space \begin{align} \mathcal{D}(\Omega) &:= \{ \varphi \in C^\infty(\Omega) \mid \mathrm{supp}(\varphi) \subset \Omega \text{ is compact} \}. \end{align} The notation $C_c^\infty(\Omega)$ is also used.

The Schwartz Space, denoted by $\mathcal{S}(\mathbb{R}^n)$, is the set of smooth functions whose derivatives of all orders decay faster than any polynomial growth. Explicitly: \begin{align} \mathcal{S}(\mathbb{R}^n) &= \left\{ f \in C^\infty(\mathbb{R}^n) \mid \sup_{x \in \mathbb{R}^n} |x^\alpha D^\beta f(x)| < \infty, \quad \forall \alpha, \beta \in \mathbb{N}_0^n \right\}. \end{align} This space is equipped with the topology induced by the family of semi-norms $\{ \| \cdot \|_{\alpha, \beta} \}_{\alpha, \beta \in \mathbb{N}_0^n}$ defined by: \begin{align} \| \cdot \|_{\alpha, \beta}: \mathcal{S}(\mathbb{R}^n) &\to [0, \infty) \\ f &\mapsto \sup_{x \in \mathbb{R}^n} |x^\alpha \partial^\beta f(x)|. \end{align}

The Fourier transform on $L^1(\mathbb{R}^n)$ is defined by the integral $\hat{f}(\xi) = \int f(x) e^{-ix \cdot \xi}\,d\mathcal{L}^n(x)$. This integral makes sense because $|f(x)e^{-ix\cdot\xi}| = |f(x)|$ is integrable. For a function $f \in L^2(\mathbb{R}^n) \setminus L^1(\mathbb{R}^n)$, however, the integral may diverge for every $\xi$, and the…

The Riemann integral is the first rigorous construction of the integral — the formalisation of the idea that the area under a curve can be captured as the limit of a sum. It applies to bounded functions on closed intervals $[a, b] \subset \mathbb{R}$ and works by trapping the function between upper and lower approximations built from rectangles.…

Integration is, alongside differentiation, one of the two fundamental operations of calculus. Where differentiation extracts the instantaneous rate of change of a function, integration reconstructs a quantity from its rate of change — it computes areas, volumes, total mass, accumulated work, and probabilities. The Fundamental Theorem of Calculus…

A sequence is a function from the natural numbers into a set — an ordered list $a_1, a_2, a_3, \ldots$ indexed by $\mathbb{N}$. Sequences are the simplest infinite objects in mathematics, and they are the vehicle through which the concept of limit enters analysis. Every major construction in analysis — derivatives, integrals, series, solutions to…

A Banach space is a complete normed vector space — a vector space with a norm in which every Cauchy sequence converges. Completeness is the property that transforms a normed space from a setting where one can measure size into a setting where one can take limits, and it is this limit-taking ability that makes the entire machinery of functional…

The concept of a limit is the foundational idea of analysis — the mechanism by which infinite processes produce definite answers. Derivatives are limits of difference quotients, integrals are limits of Riemann sums, power series are limits of partial sums, and solutions to differential equations are limits of iterative approximations. Without a…

` block | May be followed by plain‑language unpacking. | | B | `## Secondary Definitions` | Extra `[definition:id]` blocks | For auxiliary notions (e.g. Sobolev norm). | | 3 | `## Examples` | `[example:id]` blocks | At least one non‑trivial example. | | 4 | `## Key Results` | `[theorem:id]` + `[proof]` pairs | Reference others via `[quotetheorem:id]`. | | C | `## Problems` | `[problem]`↔`[solution]` pairs | Statements students can solve. | | D | Follow‑up sections | `## Applications`, `## History`, etc. | Any depth ≥ `##`. | | E | `## References` | Bibliography | Markdown list; use standard citation style. | > Tip: Narrative paragraphs (or images) may appear between any two headings. Keep each logical chunk short; avoid walls of text. --- All tags are lowercase, never nested, and always closed. IDs must be unique within the page. | Tag | Purpose | Typical Location | Rules | | ------------------ | -------------------------- | ----------------------------------------- | ---------------------------------------------------------------------- | | `[definition:ID]` | Formal statement | Formal Definition / Secondary Definitions | Exactly one primary definition (first in page). | | `[example:ID]` | Worked example | Examples | Use verbs/nouns for ID (`LinearFunction`, `FailureOfClassicalSpaces`). | | `[theorem:Name]` | Result heading | Key Results | Name in Title Case. | | `[proof]` | Proof body | Immediately after its theorem | One per theorem. | | `[problem]` | Exercise/problem | Problems | Must be closed by a `[solution]` block. | | `[solution]` | Solution/explanation | Problems | Follows its `[problem]`. | | `[motivation]` | Inline detailed motivation | Anywhere | Optional (pairs with `[/motivation]`). | | `[quotetheorem:ID]` | Cite external theorem | Anywhere prose | Renders a hyperlink or reference number. | > Future‑proof: introduce new tags sparingly; first register them in this table so parsers stay in sync. --- 1. Display math – only `align`: ``` \begin{align} ... \end{align} ``` 2. Inline math – single dollars: `$f'(x)$`. 3. Forbidden – `$$…$$`, `\[…\]`, `equation`/`gather`, etc. These constraints simplify downstream LaTeX‑to‑HTML conversion and prevent delimiter clashes inside block tags. --- Images – standard Markdown syntax: `!alt‑text{width=35%}`. Always supply alt‑text; optional attribute braces may set width. Code/CLI – wrap snippets in back‑ticks or triple‑back‑tick code fences (` ```bash `) as usual. Lists – prefer `-` bullets; sub‑bullets >= two spaces indent. Heading levels – never skip: `##`, then `###`, etc. --- Page slug – lower‑kebab‑case: `sobolev-space`, `weak-derivative`. Tag IDs – `CamelCase` or `TitleCase`, no spaces: `SobolevNorm`. Theorem numbers – handled by engine; you may supply a human name (`Rolle`) or numeric label (`49`). --- Forbidden phrasing — remove vacuous words that obscure logic: "one can show", "clearly", "it is obvious", "we can just work in some coordinate basis/chart", etc. State arguments explicitly. No hidden steps — every deduction required for the result must be written; nothing may be “left as an exercise.” If you prefer the reader to attempt a sub-result, wrap it in `[problem]` and follow with a complete `[solution]`. Index conventions Superscripts are reserved for powers or derivative order ($x^2$, $D^3 u$). Components, enumeration indices, or labels use subscripts only ($v_1$, $A_{ij}$). Never use superscripts for enumeration. Symbol hygiene — declare every symbol at first appearance within a section; if multiple standards exist, pick one and note alternatives in parentheses. Coordinate statements — if a proof depends on a specific chart or basis, name it and keep it fixed; avoid hand‑waving phrases. --- ```markdown A derivative measures instantaneous rate of change — the slope of a curve at an infinitesimal scale. Why slopes matter in physics, optimisation, and geometry. [definition:Derivative] \begin{align} f'(x_0) := \lim_{h\to 0} \frac{f(x_0+h)-f(x_0)}{h} \end{align*}

If open sets are the primitive data of a topology, closed sets are their complementary counterpart — the sets whose complements are open. The theory of closed sets is entirely dual to that of open sets, but the duality is not symmetric in its consequences: closed sets are stable under arbitrary intersections (but only finite unions), while open…

The concept of an open set is the foundation on which all of topology rests. In a topological space, the open sets are the primitive data — the collection of subsets designated as "open" determines convergence, continuity, compactness, connectedness, and every other topological property. In a metric space, the open sets are those that contain a…

Analysis begins with convergence: a sequence $x_1, x_2, \ldots$ in $\mathbb{R}$ converges to $L$ if $|x_n - L| \to 0$. In $\mathbb{R}^n$, the absolute value becomes the Euclidean distance, and the same definition carries over. But many of the most important spaces in mathematics — spaces of functions, distributions, measures — are…