number-ray-circle-topology.tex 1.5 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647
  1. \documentclass[varwidth=true, border=2pt]{standalone}
  2. \usepackage{amsmath,amssymb}
  3. \usepackage{pgfplots}
  4. \usepackage{tikz}
  5. \usepackage{tkz-fct}
  6. \usetikzlibrary{shapes.misc}
  7. \begin{document}
  8. \tikzset{
  9. point/.style={
  10. thick,
  11. draw=gray,
  12. cross out,
  13. inner sep=0pt,
  14. minimum width=4pt,
  15. minimum height=4pt,
  16. },
  17. }
  18. \begin{tikzpicture}
  19. \draw[->] (-1.5,0) -- (5.5,0) node [below] {$\mathbb{R}$};
  20. \foreach \x in {-1,...,5}
  21. \draw (\x,0.1) -- (\x,-0.1) node [below] {\x};
  22. \foreach \x in {-1,...,4} {
  23. \draw[red] (\x+0.6,0.01) -- (\x+0.6,-0.14) node [below] {};
  24. \draw[red] (\x+1.2,0.01) -- (\x+1.2,-0.14) node [below] {};
  25. \draw[red] (\x+0.6,-0.07) -- (\x+1.2,-0.07) node [below] {};
  26. }
  27. \begin{scope}[shift={(0,-2)}]
  28. \draw[thick] (0cm,0cm) circle(1cm);
  29. \draw[thick, red] ([shift={(216:1cm)}]-0.0,0) arc (216:-72:1cm);
  30. \draw (0:1cm) node[point, label={[right]{$0$}}] {};
  31. \path node[point, blue, label={[blue,above]{$\overline{a}$}}] (posU) at (-252:1cm) {};
  32. \path node[label={[red,left]{$U$}}] at (30:1cm) {};
  33. \end{scope}
  34. \draw (3.7cm,0cm) node[point, blue, label={[blue,above]{$a$}}] (posA) {};
  35. \draw (0.7cm,0cm) node[point, blue, label={[blue,above]{$\pi^{-1}(u)$}}] {};
  36. \draw[dashed, blue, thick] plot [smooth] coordinates{(posU) (0.2,-0.8) (2.5,-1) (posA)};
  37. \draw[blue, dashed, thick] (3.7cm,0cm) arc (0:180:1.5 and 0.5);
  38. \end{tikzpicture}
  39. \end{document}