diff --git a/refs.bib b/refs.bib
index 564f46a..8974dd3 100644
--- a/refs.bib
+++ b/refs.bib
@@ -300,4 +300,12 @@
   volume={78},
   year={2002},
   publisher={Cambridge University Press}
+}
+
+@book{Lunardi,
+  title={Interpolation theory},
+  author={Lunardi, Alessandra and others},
+  volume={16},
+  year={2018},
+  publisher={Edizioni della normale Pisa}
 }
\ No newline at end of file
diff --git a/src/fa/interpolation/functors.tex b/src/fa/interpolation/functors.tex
index c32a7b2..41e7465 100644
--- a/src/fa/interpolation/functors.tex
+++ b/src/fa/interpolation/functors.tex
@@ -64,7 +64,7 @@
 
 \begin{definition}[Category of Compatible Couples]
 \label{definition:compatible-category}
-    Let $\catc$ be a subcategory of normed spaces over $K \in \RC$ and $(E_0, E_1)$ be a compatible couple, then $E_0 E_1$ are a \textbf{compatible couple in $\catc$} if $E_0, E_1, E_0 \cap E_1, E_0 + E_1 \in \catc$. 
+    Let $\catc$ be a subcategory of normed spaces over $K \in \RC$ and $(E_0, E_1)$ be a compatible couple, then $(E_0, E_1)$ is \textbf{compatible couple in $\catc$} if $E_0, E_1, E_0 \cap E_1, E_0 + E_1 \in \catc$. 
     
     Let $(E_0, E_1)$ and $(F_0, F_1)$ be compatible couples in $\catc$ and $T \in L(E_0 + E_1, F_0 + F_1)$, then $T$ is a \textbf{morphism of compatible couples} if $T|_{E_0} \in \text{Mor}_{\catc}(E_0; F_0)$ and $T|_{E_1} \in \text{Mor}_{\catc}(E_1; F_1)$. 
 
diff --git a/src/fa/interpolation/real.tex b/src/fa/interpolation/real.tex
new file mode 100644
index 0000000..928731b
--- /dev/null
+++ b/src/fa/interpolation/real.tex
@@ -0,0 +1,158 @@
+\section{The Real Interpolation Method}
+\label{section:real-interpolation}
+
+\begin{definition}[$L_*^p$]
+\label{definition:weighted-lp-interpolation}
+    Let $I \subset (0, \infty)$ be measurable and $p \in [1, \infty]$, then $L^p_*(I)$ denotes the Lebesgue space $L^p$ with respect to the measure $dt/t$ on $I$. 
+\end{definition}
+
+\begin{definition}[$K$-Functional]
+\label{definition:k-functional}
+    Let $(E_0, E_1)$ be a compatible couple of Banach spaces, then the \textbf{$K$-functional} of the couple $(E_0, E_1)$ is the mapping $(0, \infty) \times (E_0 + E_1) \to [0, \infty)$ defined by
+    \[
+    K(t, x) = K(t, x, E_0, E_1) = \inf_{\substack{x_0 \in E_0 \\ x_1 \in E_1 \\ x = x_0 + x_1}}\norm{x_0}_{E_0} + t\norm{x_1}_{E_1}
+    \]
+\end{definition}
+
+\begin{lemma}
+\label{lemma:k-functional-properties}
+    Let $(E_0, E_1)$ be a compatible couple of Banach spaces and $K: (0, \infty) \times (E_0 + E_1) \to [0, \infty)$ be its $K$-functional, then:
+    \begin{enumerate}
+        \item For each $t > 0$, the mapping $x \mapsto K(t, x)$ is a norm on $E_0 + E_1$. For any $s, t > 0$, 
+        \[
+        K(t, x) \le \paren{1 \vee \frac{s}{t}}K(s, x)
+        \]
+        
+        
+        In particular,
+        \[
+        K(t, x) \le (1 \vee t)K(1, x) = (1 \vee t) \norm{x}_{E_0 + E_1}
+        \]
+        \item For each $t > 0$ and $x \in E_0 \cap E_1$, 
+        \[
+        K(t, x) \le (1 \wedge t)\norm{x}_{E_0 \cap E_1}
+        \]
+        \item For each $x \in E_0 + E_1$, the mapping $t \mapsto K(t, x)$ is non-decreasing, concave, and hence continuous. 
+        \item $K$ is jointly continuous. 
+    \end{enumerate}
+\end{lemma}
+\begin{proof}
+    (1): Let $x = x_0 + x_1 \in E_0 + E_1$, then
+    \[
+    K(t, x) \le \norm{x_0}_{E_0} + t\norm{x_1}_{E_1} \le \paren{1 \vee \frac{t}{s}}(\norm{x_0}_{E_0} + s\norm{x_1}_{E_1})
+    \]
+
+    As the above holds for all such decompositions of $x$, 
+    \[
+    K(t, x) \le \paren{1 \vee \frac{t}{s}}K(s, x)
+    \]
+
+
+    (3): For each $x \in E_0 + E_1$, the mapping $t \mapsto K(t, x)$ is an infimum of linear and hence concave functions, so it is concave. 
+
+    (4): Let $x, y \in E_0 + E_1$ and $s, t > 0$, then
+    \begin{align*}
+        K(s, x) - K(t, y) &= K(s, x) - K(t, x) + K(t, x) - K(t, y) \\
+        |K(s, x) - K(t, y)| &\le |K(s, x) - K(t, x)| + |K(t, x) - K(t, y)| \\
+        &\le |K(s, x) - K(t, x)| + (1 \vee s \vee t)\norm{x - y}_{E_0 + E_1}
+    \end{align*}
+
+    so $K(t, y) \to K(s, x)$ as $(t, y) \to (s, x)$. 
+    
+\end{proof}
+
+
+\begin{definition}[Method of Real Interpolation]
+\label{definition:real-interpolation}
+    Let $(E_0, E_1)$ be a compatible couple of Banach spaces, $K: (0, \infty) \times (E_0 + E_1) \to [0, \infty)$ be its $K$-functional, $\theta \in (0, 1)$, $p \in [1, \infty]$, and
+    \[
+    (E_0, E_1)_{\theta, p} = \bracsn{x \in E_0 + E_1| t \mapsto t^{-\theta}K(t, x) \in L_*^p((0, \infty))}
+    \]
+
+    with the norm
+    \[
+    \norm{x}_{(E_0, E_1)_{\theta, p}} = \normn{t^{-\theta}K(t, x)}_{L_*^p((0, \infty))}
+    \]
+
+    then:
+    \begin{enumerate}
+        \item $(E_0, E_1)_{\theta, p}$ is an intermediate Banach space between $E_0$ and $E_1$.
+        \item The mapping $K_{\theta, p}$ defined by $(E_0, E_1) \mapsto (E_0, E_1)_{\theta, p}$ is an interpolation functor of exact exponent $\theta$. 
+    \end{enumerate}
+
+    and the functor $K_{\theta, p}$ is the \textbf{method of real interpolation}. 
+\end{definition}
+\begin{proof}[Proof, {{\cite[Theorem 1.6]{Lunardi}}}. ]
+    (1): Let $x \in E_0 \cap E_1$, then by (2) of \autoref{lemma:k-functional-properties}, $K(t, x) \le (1 \wedge t)\norm{x}_{E_0 \cap E_1}$. If $p \in [1, \infty)$, then
+    \begin{align*}
+        \int_0^\infty |t^{-\theta} K(t, x)|^p \frac{dt}{t} &\le \norm{x}_{E_0 \cap E_1}^p\int_0^\infty |t^{-\theta}(1 \wedge t)|^p  \frac{dt}{t} \\
+        &\le \norm{x}_{E_0 \cap E_1}^p\braks{\int_0^1 t^{p(1 - \theta)} \frac{dt}{t} + \int_1^\infty t^{-p\theta} \frac{dt}{t}} \\
+        &\le \norm{x}_{E_0 \cap E_1}^p\braks{\frac{1}{1 - \theta} + \frac{1}{p\theta}}
+    \end{align*}
+
+    If $p = \infty$, then
+    \[
+    \sup_{t > 0}t^{-\theta}K(t, x) \le \norm{x}_{E_0 \cap E_1} \braks{\sup_{t \in (0, 1)}t^{1-\theta} \vee \sup_{t \ge 1}t^{-\theta}} \le  \norm{x}_{E_0 \cap E_1}
+    \]
+
+    so $E_0 \cap E_1$ is continuously embedded inside $(E_0, E_1)_{\theta, p}$. 
+    
+    On the other hand, let $x \in (E_0, E_1)_{\theta, p}$. If $p \in [1, \infty)$, then by (3) of \autoref{lemma:k-functional-properties},
+    \begin{align*}
+        \int_0^\infty |t^{-\theta} K(t, x)|^p \frac{dt}{t} &\ge \int_1^2 |t^{-\theta} K(t, x)|^p \frac{dt}{t} \ge \frac{1}{2}\int_1^2 |t^{-\theta} K(t, x)|^p dt \\
+        &\ge \frac{1}{2^{1+\theta p}} \int_1^2 |K(t, x)|^p dt \ge \frac{K(1, x)^p}{2^{1 + \theta p}} = \frac{\norm{x}_{E_0 + E_1}^p}{2^{1 + \theta p}}
+    \end{align*}
+
+    and if $p = \infty$, then $\norm{x}_{E_0 + E_1} = K(1, x) \le \norm{x}_{(E_0, E_1)_{\theta, p}}$. 
+
+    Finally, by (1) of \autoref{lemma:k-functional-properties}, $K(t, x + y) \le K(t, x) + K(t, y)$ for all $x, y \in (E_0, E_1)_{\theta, p}$, so $(E_0, E_1)_{\theta, p}$ is complete by \hyperref[Minkowski's inequality]{theorem:minkowski} and \autoref{lemma:banach-absolute}. 
+
+    Therefore $(E_0, E_1)_{\theta, p}$ is an intermediate Banach space between $E_0$ and $E_1$. 
+
+    (2): Let $(E_0, E_1)$ and $(F_0, F_1)$ be compatible couples of Banach spaces, and $T \in L(E_0 + E_1; F_0 + F_1)$ such that $T|_{E_0} \in L(E_0; F_0)$ and $T|_{E_1} \in L(E_1; F_1)$. 
+
+    Assume without loss of generality that $T \ne 0$. In particular, after possibly considering $(E_1, E_0)$, $(F_1, F_0)$, $(E_1, E_0)_{1 - \theta, p}$, and $(F_1, F_0)_{1 - \theta, p}$, assume without loss of generality that $\norm{T}_{L(E_0; F_0)} \ne 0$. 
+
+    Let $x = x_0 + x_1 \in E_0 + E_1$, $t > 0$, and $\lambda > \norm{T}_{L(E_1; F_1)}/\norm{T}_{L(E_0; F_0)}$, 
+    \begin{align*}
+        \norm{Tx_0}_{F_0} + t\norm{Tx_1}_{F_1} &\le \norm{T}_{L(E_0; F_0)}\norm{x_0}_{F_0} + t\norm{T}_{L(E_1; F_1)}\norm{x_1}_{F_1} \\
+        &= \norm{T}_{L(E_0; F_0)}\paren{\norm{x_0}_{F_0} + t\frac{\norm{T}_{L(E_1; F_1)}}{\norm{T}_{L(E_0; F_0)}}\norm{x_1}_{F_1}} \\
+        &\le \norm{T}_{L(E_0; F_0)}({\norm{x_0}_{F_0} + \lambda t\norm{x_1}_{F_1}})
+    \end{align*}
+
+    As the above holds for all decompositions of $x$, 
+    \[
+    K(t, Tx) \le \norm{T}_{L(E_0; F_0)}K(\lambda t, x)
+    \]
+
+    For any $p \in [1, \infty)$, 
+    \begin{align*}
+        \int_0^\infty t^{-\theta p}K(t, Tx)^p \frac{dt}{t} &\le \norm{T}_{L(E_0; F_0)}^p\int_0^\infty t^{-\theta p}K(\lambda t, Tx)^p \frac{dt}{t} \\
+        &= \norm{T}_{L(E_0; F_0)}^p\int_0^\infty \lambda^{\theta p} t^{-\theta p}K(t, Tx)^p \frac{dt}{t} \\
+        \norm{Tx}_{(F_0, F_1)_{\theta, p}}  &\le \norm{T}_{L(E_0; F_0)} \lambda^{\theta}\norm{x}_{(E_0, E_1)_{\theta, p}}
+    \end{align*}
+
+    Similarly, if $p = \infty$, 
+    \begin{align*}
+    t^{-\theta}K(t, Tx) &\le \norm{T}_{L(E_0; F_0)}t^{-\theta}K(\lambda t, x) \\
+    \sup_{t > 0}t^{-\theta}K(t, Tx) &\le \norm{T}_{L(E_0; F_0)}\sup_{t > 0}\lambda^{\theta}t^{-\theta}K(t, x) \\ 
+        \norm{Tx}_{(F_0, F_1)_{\theta, p}}  &\le \norm{T}_{L(E_0; F_0)} \lambda^{\theta}\norm{x}_{(E_0, E_1)_{\theta, p}}
+    \end{align*}
+
+    As the above holds for all $\lambda > \norm{T}_{L(E_1; F_1)}/\norm{T}_{L(E_0; F_0)}$, 
+    \begin{align*}
+        \norm{Tx}_{(F_0, F_1)_{\theta, p}}  &\le \norm{T}_{L(E_0; F_0)} \frac{\norm{T}_{L(E_1; F_1)}^\theta}{\norm{T}_{L(E_0; F_0)}^\theta}\norm{x}_{(E_0, E_1)_{\theta, p}} \\
+        \norm{T}_{L((E_0, E_1)_{\theta, p}; (F_0, F_1)_{\theta, p})}&\le \norm{T}_{L(E_0; F_0)}^{1 - \theta}\norm{T}_{L(E_1; F_1)}^\theta
+    \end{align*}
+\end{proof}
+
+\begin{proposition}
+\label{proposition:real-interpolation-inclusions}
+    Let $(E_0, E_1)$ be a compatible couple of Banach spaces, then:
+    \begin{enumerate}
+        \item For each $\theta \in (0, 1)$ and $1 \le p < q \le \infty$, $(E_0, E_1)_{\theta, p} \subset (E_0, E_1)_{\theta, q}$. 
+        \item For each $0 < \theta < \eta < 1$ and $p, q \in [1, \infty]$, $(E_0, E_1)_{\eta, p} \subset (E_0, E_1)_{\theta, q}$. 
+    \end{enumerate}
+\end{proposition}
+
+