1: \begin{definition}[Nonlinear Petrov--Galerkin projector]\label{def:nlpgp}

2: Under the same conditions of Theorem~\ref{thm:discrete}, we define the (inexact) \emph{nonlinear Petrov--Galerkin projector} to be the well-defined map 

3: $$

4: P_n:  \mbbU\to\mbbU_n\quad\hbox{such that}\quad P_n(u):=u_n,

5: $$

6: with $u_n$ the second argument of the solution~$(r_m,u_n)$ of~\eqref{eq:mixed_discrete2}. 

7: %that associates ${\mbbU\ni u\mapsto P_n(u):=u_n}$. %, is well-defined, and this map is called the \emph{nonlinear Petrov--Galerkin projector}.

8: %

9: % we define the nonlinear \emph{Petrov--Galerkin} projection $P_n:\mbbU\to\mbbU_n$ to be the map that associates $\mbbU\ni u\mapsto P_n(u):=u_n$.

10: %

11: % let $u\in\mbbU$ and let $(r_m,u_n)\in\mbbV_m\times\mbbU_n$ be the unique solution of the mixed problem \eqref{eq:mixed_discrete} with $Bu\in\mbbV^*$ as the right hand side, i.e.,

12: % We define then the nonlinear \emph{Petrov--Galerkin} projection $P_n:\mbbU\to\mbbU_n$ to be the map that associates $\mbbU\ni u\mapsto P_n(u):=u_n$.

13: \end{definition}

14: