\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{projective Banach space}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{functional_analysis}{}\paragraph*{{Functional analysis}}\label{functional_analysis}

[[!include functional analysis - contents]]

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{definition}{Definition}\dotfill \pageref*{definition} \linebreak
\noindent\hyperlink{examples}{Examples}\dotfill \pageref*{examples} \linebreak
\noindent\hyperlink{comments_on_attempts_at_equivalent_formulations}{Comments on attempts at equivalent formulations}\dotfill \pageref*{comments_on_attempts_at_equivalent_formulations} \linebreak
\noindent\hyperlink{properties}{Properties}\dotfill \pageref*{properties} \linebreak
\noindent\hyperlink{projective_in_which_category}{Projective in which category?}\dotfill \pageref*{projective_in_which_category} \linebreak
\noindent\hyperlink{kthes_theorem}{K\"o{}the's theorem?}\dotfill \pageref*{kthes_theorem} \linebreak
\noindent\hyperlink{terminology_metrically_projective_and_metrically_injective}{Terminology: ``metrically projective'' and ``metrically injective''}\dotfill \pageref*{terminology_metrically_projective_and_metrically_injective} \linebreak
\noindent\hyperlink{injective_banach_spaces}{Injective Banach spaces}\dotfill \pageref*{injective_banach_spaces} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


Very incomplete!

(I wasn't sure how to title this page, so the name just mentions projective Banach(able) spaces, even though I hope to eventually get onto injective Banach(able) spaces.)

\hypertarget{definition}{}\subsection*{{Definition}}\label{definition}

Let $P$ be a [[Banach space]] and let $C$ be a strictly positive constant. We say $P$ is \textbf{C-projective} or \textbf{projective with constant $C$} if, whenever $Y$ is a Banach space, $X$ is a closed subspace of $Y$, and $f:P\to Y/X$ is a continuous linear map, there exists a continuous linear map $g:P\to X$ with $\Vert g \Vert \leq C\Vert f\Vert$ and $qg=f$, where $q:Y\to Y/X$ is the canonical quotient map.

Semadeni (see below for reference) gives a slightly different definition. Slightly paraphrased, it reads as follows: $F$ is a $Ban_1$-projective space if, for any [[short linear map]] $\phi: F\to H$ and any short linear map $\pi: G\to H$ which satisfies $\phi(Ball(G))=Ball(H)$, there exists a short linear map $\psi:F\to G$ such that $\phi=\psi\pi$. Here, $Ball(\cdot)$ denotes the closed unit ball of a given Banach space.

The condition that $\phi(Ball(G))=Ball(H)$ is stronger than requiring the canonical induced map $G/\ker\phi \to H$ to be an isometric isomorphism. For instance, let us work momentarily with real Banach spaces, and consider the map $\phi:c_0 \to {\mathbb R}$ defined by $\phi((x_n)) = \sum_{n=1}^\infty x_n/2^n$, where $\mathbb R$ is normed by saying that $1$ has norm $1$. Clearly this is a surjective, short linear map, and one can check that the induced map from $c_0/\ker(\phi)$ to $\mathbb R$ is an isometry. But a little thought shows that $1\notin \phi(Ball(c_0))$.

\hypertarget{examples}{}\subsection*{{Examples}}\label{examples}

Let $S$ be any [[set]] and let $\ell^1(S)$ be the [[free functor|free]] Banach space on $S$. That is: let $Bang$ denote the category of [[Banach space]]s and short linear maps, and let $Ball$ be the functor $Bang\to Set$ which sends a Banach space $X$ to its closed unit ball $Ball(X)$. Then $\ell^1$ is [[left adjoint]] to $Ball$.

In particular, for any set $S$ and Banach space $V$,

\begin{displaymath}
Bang(\ell^1(S), V) \cong Set(S, Ball(V))
\end{displaymath}
(This is the more precise version of the statement ``bounded linear maps from $\ell^1(S)$ to $V$ correspond to bounded $V$-valued functions on $S$.)

\ldots{}

Then $\ell^1(S)$ is a $C$-projective Banach space for any $C\gt1$. (When $S$ is uncountable this definitely needs [[Choice]]; I guess that when $S$ is countably infinite this can be relaxed to [[countable choice]].)

\begin{quote}%
David Roberts: Or even [[dependent choice]]?


\end{quote}
\ldots{}

It turns out that every projective Banach(able) space is [[isomorphic]] as a Banach(able) space to $\ell^1(S)$ for some set $S$. In the separable case this is more or less a consequence of a standard machine which applies more generally and goes by the name of ``block bases plus Pelczynski decomposition''. The non-separable case was thrashed out a bit later by K\"o{}the (citation needed).

YC has often wondered if this result has any meaningful kinship with the [[Nielsen-Schreier theorem]]. He usually ends up deciding ``probably not''.

\hypertarget{comments_on_attempts_at_equivalent_formulations}{}\subsection*{{Comments on attempts at equivalent formulations}}\label{comments_on_attempts_at_equivalent_formulations}

In an [[abelian category]] $C$ one sometimes (often?) sees the following definition of a [[projective object]]: an object $P$ is projective in $C$ if the [[hom-functor]] $C(P,\cdot)$ is (right) [[exact functor|exact]]. (I think it is always left exact?). In an abelian category this is the same as preserving [[epimorphisms]], but not in general.

\begin{quote}%
Urs: yes, because the hom-functor preserves all limits.


\end{quote}
Now the [[categories]] of Banach spaces and Banachable spaces each possess notions of [[zero object]], [[kernel]] and [[cokernel]]. So we could define exactness in terms of these. But now `exactness' in this sense of a [[short exact sequence]] of Banach(able) spaces does not imply exactness of the underlying short exact sequence of [[vector spaces]]!

Put another way: as we (will) have defined it above, projectivity of a Banach space $P$ is different from asking that the functor $\operatorname{hom}(P,\cdot)$ preserves epimorphisms\ldots{}

[[David Roberts]]: I suppose it's about asking what you want to do with said projective objects - projective resolutions? Calculate some sort of cohomology? Know that every epimorphism (or analogous map - perhaps the quotient map of a ses?) to a projective object splits?

[[Yemon Choi]]: Good question, David. The answer is ``sort of'' - my original background is in Hochschild cohomology of Banach algebras, so I am more concerned about Banach modules (over a fixed Banach algebra) that are projective/injective/flat \emph{in some appropriate sense} \ldots{} Now if one looks up Hochschild coho in something like Weibel's book, defined for R-bimodules where R is a k-algebra, then the theory works much better if all short exact sequences in k-bimod split. This is fine, with Choice, if k is a field (i.e. we are working with vector spaces and usual algebras) but does not hold in general; and really what makes things work is that every object of Vect is projective in the presence of Choice, i.e. you always have a linear section.

Now to get back to your question: it has been found from experience that the Banach version of Hochschild coho is more likely to behave like the classical case when your algebra and module both have underlying Banach space ``toplinearly isomorphic'' to $\ell^1$, and maybe even $L^1$ is OK in some circumstances. What seems to be going on here is that $\ell^1$ is a projective Banach space and $L^1$ a flat Banach space\ldots{} hence my interest, hence this page.

\hypertarget{properties}{}\subsection*{{Properties}}\label{properties}

\hypertarget{projective_in_which_category}{}\subsubsection*{{Projective in which category?}}\label{projective_in_which_category}

\hypertarget{kthes_theorem}{}\subsubsection*{{K\"o{}the's theorem?}}\label{kthes_theorem}

\hypertarget{terminology_metrically_projective_and_metrically_injective}{}\subsection*{{Terminology: ``metrically projective'' and ``metrically injective''}}\label{terminology_metrically_projective_and_metrically_injective}

\hypertarget{injective_banach_spaces}{}\subsection*{{Injective Banach spaces}}\label{injective_banach_spaces}

Theorem of Kelley-Nachbin and others?

\hypertarget{references}{}\subsection*{{References}}\label{references}

\begin{itemize}%
\item Z. Semadeni, \emph{Banach spaces of continuous functions, Vol. 1.} Warsaw, 1971

\end{itemize}


\end{document}