Como escrever esta notação completa em LaTeX

Question

Por favor, diga-me como posso escrever isso em LaTeX. Tentei fazer com array e \undersetmas não foi satisfatório

Answer 1

Você pode usar tikz-cdcomplementado com oadorável resposta de LaRiFaRie alguns pequenos truques.

1. O espaçamento entre a primeira e a segunda coluna é reduzido.
2. O sobrescrito \mathbb{R}no topo recebeu largura zero, então o balanceamento é melhor.

\documentclass{article}
\usepackage{amsmath}
\usepackage{mathtools}
\usepackage{amssymb}
\usepackage{tikz-cd}

% from https://tex.stackexchange.com/a/216042/4427
\tikzset{
  symbol/.style={
    draw=none,
    every to/.append style={
      edge node={node [sloped, allow upside down, auto=false]{$#1$}}}
  }
}

\begin{document}

\[
\begin{tikzcd}[row sep=small]
&[-1.5em] & \mathbb{R}^{\mathrlap{n}} \\
\mathbb{R}^m \arrow[r,symbol={\supset}] &
U \arrow[r,"f"] &
V \arrow[r,"g"] \arrow[u,symbol={\subset}]&
\mathbb{R}^k \\
& a \arrow[u,symbol={\in}] \arrow[r,mapsto] & b \arrow[u,symbol={\in}]
\end{tikzcd}
\]

\end{document}