Multilinear interpolation
Multilinear interpolation
Table of Contents
1.
Overview
2.
Extended quasinorms
3.
Multi-subadditive maps
4.
K-Method
5.
Interpolation of multi-linear operators
6.
The Aoki-Rolewicz theorem
7.
Notes
Blueprint Bibliography
Dependency Graph
Blueprint Summary
1. Overview
→
Multilinear interpolation
🔗
Compiled
2026-10-14T09:26:14Z
Project
24e196f
finish lemma 1 proof
Lean
leanprover/lean4:v4.35.0-rc2
VersoBlueprint
24e196f
Mathlib
master@a089add83160
Contents
1.
Overview
2.
Extended quasinorms
3.
Multi-subadditive maps
4.
K-Method
5.
Interpolation of multi-linear operators
6.
The Aoki-Rolewicz theorem
7.
Notes
Blueprint Bibliography
Dependency Graph
Blueprint Summary
1. Overview
→