Estou usando \usepackage[all,cmtip]{xy}e gostaria de criar um círculo para $\overline{D_1^n}$, gostaria de colorir de vermelho a $f\circ\pi$-seta, gostaria também de sombrear o $S^n/\mathbb{Z}^2$. eu inseri odsfrac-função, ondedsfracapoia
\newcommand{\dsfrac}[2]{\displaystyle{\Huge{\sfrac{#1}{#2}}}}
O código é:
\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}
Muito obrigado
Responder1
Aqui está uma solução com tikz-cd, o que torna isso um pouco mais fácil. Em particular, você pode usar cells=nodespara obter sua caixa e seu círculo.
Existem alguns problemas com a maneira como você altera o tamanho do tipo em seu código. Se você quiser ampliar todo o diagrama, use oadjustbox pacote e
\adjustbox{scale=1.5,center}{\begin{tikzcd}...\end{tikzcd}}
Eu não tinha certeza do que você quis dizer com sombrear o $S^n/\mathbb{Z}^2$, então deixei azul. Fácil de mudar isso.
Para alterar as pontas de seta, adicione arrow style=tikz, >={Triangle[length=2mm]}às tikzcdopções. Você pode ajustar as lengthpontas widthdas setas como quiser. Você também pode considerar >={latex}uma opção semelhante.
\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}