Desenhe o toro plano

Question

Quero representar graficamente uma curva no toro plano, mas não no R^2plano inteiro, mas no quadrado [0,1]x[0,1].

Para isso, criei um “do...while” apenas com os dados iniciais da inclinação racional. Isso é:

let m=p/q
let fx(u)=m(1-u) and fy(u)=(1-u)/m
x=0
DO
y=fx(x)
draw (x,0) -- (1,y);
x=fy(y)
draw (0,y) -- (x,1);
WHILE (x=1)

Peço desculpas pelos grandes erros em meu código. Acabei de escrever minha ideia porque não sei como fazê-la em LaTeX, usandoTikZpor exemplo. Como eu posso fazer isso?

Já fiz manualmente, mas não é o ideal. Tentar colocar m=3/4deve gerar o seguinte:

Não quero codificar onde tenho que plotar tudo manualmente como o seguinte:

\documentclass[border=1mm]{standalone}
\usepackage{tikz}
\begin{document}
\begin{tikzpicture}
\draw[red] (0,0) -- (1,3/4);
\draw[red] (0,3/4) -- (1/3,1);
\draw[red] (1/3,0) -- (1,1/2);
\draw[red] (0,1/2) -- (2/3,1);
\draw[red] (2/3,0) -- (1,1/4);
\draw[red] (0,1/4) -- (1,1);
\draw (0,0) -- (1,0) -- (1,1) -- (0,1) -- (0,0) -- (1,0);
\end{tikzpicture}
\end{document}

Answer 1

Aqui está uma opção. Eu defini um comando \flattoruscom três argumentos:

1. (opcional) O lado do quadrado na imagem TikZ, em cm. Coloquei 4 como valor padrão, mas é claro que você pode alterar isso facilmente.
2. O número de colunas nas quais dividir o quadrado.
3. O número de linhas nas quais dividir o quadrado.

\documentclass{article}
\usepackage{tikz}
\newcounter{mx}
\newcounter{my}
\newlength{\squareside}
\newcommand*{\flattorus}[3][4]{%
    \setcounter{mx}{#2}
    \setcounter{my}{#3}
    \addtocounter{mx}{-1}
    \addtocounter{my}{-1}
    \setlength{\squareside}{#1 cm}

    \begin{tikzpicture}[x=\dimexpr\squareside/#2, y=\dimexpr\squareside/#3]
        \draw[thick] (0,0) rectangle (#2,#3);
        \foreach \x in {0, ..., \value{mx}}
            \foreach \y in {0, ..., \value{my}}{
                \draw (\x,\y) -- ++(0,1);
                \draw (\x,\y) -- ++(1,0);
                \draw[red, thick] (\x,\y) -- ++(1,1);
            };
        \node[below left] at (0,0) {0};
        \node[below] at (#2,0) {1};
        \node[left] at (0,#3) {1};
        \foreach \x in {1, ..., \value{mx}}
            \node[below] at (\x,0) {\x/#2};
        \foreach \y in {1, ..., \value{my}}
            \node[left] at (0,\y) {\y/#3};
    \end{tikzpicture}
}
\begin{document}
\flattorus{3}{4}
\flattorus{5}{2}
\flattorus[2]{2}{3}
\end{document}

Answer 2

Uma boa solução foi postada por @Vincent (+1), mas já estava em andamento, então resolvi postá-la como alternativa.

Aqui está uma macro \flattorusque usa dois argumentos (e um argumento opcional adicional) para desenhar o toro plano. \flattorus[<scale factor>]{y}{x}desenha a linha de inclinação y/xno toro. A escala padrão é 2, que produz um quadrado com comprimento lateral de 2 cm.

Por exemplo, \flattorus{3}{4}\qquad\flattorus{5}{3}produz:

E \flattorus[6]{10}{11}produz

\documentclass{article}

\usepackage{tikz}

\newcommand{\flattorus}[3][2]{\begin{tikzpicture}[scale=#1]
    \foreach \k[evaluate=\k as \j using int(\k-1)] in {2,...,#2}{
        \draw[gray!30] ({(\j)/#2},0)node[black, below]{$\frac{\j}{#2}$}--++(0,1);}
    \foreach \k[evaluate=\k as \j using int(\k-1), evaluate=\k as \p using #2*#3] in {2,...,#3}{\xdef\xy{\p}
        \draw[gray!30] (0,{(\j)/#3})node[black, left]{$^{\j}\!/\!_{#3}$}--++(1,0);}
    \foreach \k[evaluate=\k as \j using int(\k-1), evaluate=\k as \x using frac(\k*#3/\xy), evaluate=\k as \y using frac(\k*#2/\xy)] in {1,...,\xy}{
        \draw[red, thick]({frac(\j*#3/\xy)},{frac(\j*#2/\xy)})--({\x+less(\x,1/\xy)},{\y+less(\y,1/\xy)});}
    \draw (0,0)node[below left]{0}--(1,0)node[below]{1}--(1,1)--(0,1)node[left]{1}--cycle;
    \end{tikzpicture}}

\begin{document}

\flattorus{3}{4}\qquad\flattorus{5}{3}

\flattorus[6]{10}{11}

\end{document}

Answer 3

Experimente este código:

\documentclass[10pt,a4paper]{article}

\usepackage{tikz}
\begin{document}
    \begin{tikzpicture}[scale=10]
        \draw[gray!30,xstep=.3333,ystep=.25] (0,0) grid (1,1);
        
        \draw[red,line width=2pt] (0,0) -- (1,3/4);
        \draw[red,line width=2pt] (0,3/4) -- (1/3,1);
        \draw[red,line width=2pt] (1/3,0) -- (1,1/2);
        \draw[red,line width=2pt] (0,1/2) -- (2/3,1);
        \draw[red,line width=2pt] (2/3,0) -- (1,1/4);
        \draw[red,line width=2pt] (0,1/4) -- (1,1);
        \foreach \x in {0,1/3,2/3,1}
        \draw (\x,.02)--(\x,-.02) node[below] {\bfseries $\x$};
        \foreach \y in {0,1/4,1/2,3/4,1}
        \draw (.02,\y)--(-.02,\y) node[left] {\bfseries $\y$};  
    \end{tikzpicture}
\end{document}

Saída: