Estoy usando \usepackage[all,cmtip]{xy}y me gustaría crear un círculo para $\overline{D_1^n}$, me gustaría colorear de rojo la $f\circ\pi$flecha, también me gustaría sombrear el $S^n/\mathbb{Z}^2$. inserté eldsfrac-función, dondedsfracrepresenta
\newcommand{\dsfrac}[2]{\displaystyle{\Huge{\sfrac{#1}{#2}}}}
El código es:
\documentclass{book}
\usepackage[all,cmtip]{xy}
\usepackage{stix}
\usepackage{mathtools}
\usepackage{xfrac}
\usepackage[bb=ams]{mathalpha}
\begin{document}
\Large
\newcommand{\dsfrac}[2]{\displaystyle{\Huge{\sfrac{#1}{#2}}}}
\newcommand{\tonde}[1]{\bigl(#1\bigr)}
\newcommand{\Z}{\mathbb Z}
\renewcommand{\P}{\mathbb P}
\newcommand{\R}{\mathbb R}
\begin{equation}
\xymatrix{{\overline{D_1^n}}\ar@{^{(}->}[rr]^{i}\ar@{>>}[d]_{\pi_1}\ar@{^{(}->>}[drr]_{f\circ\pi_1}^{\pi_2\circ i}&&S^n\ar@{>>}[d]^{\pi_ 2}\\\dsfrac{\overline{D_1^n}}{\!\!\sim}\ar@{^{(}->>}[rr]^{f}_{\cong}&&\boxed{\dsfrac{S^n}{\Z^2}}\ar@{=}[r]&\P^n\tonde{\R}}
\end{equation}
\end{document}
Muchas gracias
Respuesta1
Aquí hay una solución con tikz-cd, que hace que esto sea algo más fácil. En particular, puedes utilizarlo cells=nodespara obtener tu cuadro y círculo.
Hay algunos problemas con la forma en que cambia el tamaño de letra en su código. Si desea ampliar todo el diagrama, utilice el adjustboxpaquete y
\adjustbox{scale=1.5,center}{\begin{tikzcd}...\end{tikzcd}}
No estaba seguro de lo que querías decir con sombrear $S^n/\mathbb{Z}^2$, así que lo hice azul. Es fácil cambiar eso.
Para cambiar las puntas de flecha, agregue arrow style=tikz, >={Triangle[length=2mm]}a las tikzcdopciones. Puedes ajustar el lengthy widthde las puntas de flecha como quieras. También podrías considerar >={latex}una opción similar.
\documentclass{article}
\usepackage{amsmath}
\usepackage{stix}
\usepackage{tikz-cd}
\usepackage{adjustbox}
\newcommand{\Z}{\mathbb Z}
\renewcommand{\P}{\mathbb P}
\newcommand{\R}{\mathbb R}
\begin{document}
\begin{tikzcd}[arrow style=tikz, >={Triangle[length=2mm]}, cells={nodes={inner sep=2mm}}, row sep=1cm]
\overline{D_1^n}\arrow[rr, hook, "i"]\arrow[drr, red, hook, two heads, text=black, "\pi_2\circ i", "f\circ\pi_1"']\arrow[d, two heads, "\pi_1"']
&& S^n\arrow[d, two heads, "\pi_2"]\\
|[draw, circle, inner sep=0pt, outer sep=2pt]|\raisebox{.5ex}{$\overline{D_1^n}$}\Big/\raisebox{-.5ex}{$\sim$}\arrow[rr, hook, two heads, "f", "\cong"']
&& |[draw, inner sep=2pt, outer sep=2pt, text=blue]|\raisebox{.5ex}{$S^n\!$}\Big/\raisebox{-.5ex}{$\Z^2$}\arrow[r, equals] & \P^n(\R)
\end{tikzcd}
\end{document}