这样的图不知在latex或者tikz中能否实现呢

\documentclass{standalone}

\usepackage{forest}

\begin{document}

\forestset{
  declare dimen register=itemize folder indent,
  itemize folder indent=.6em,
  itemize rect/.style={tikz+={\fill ([xshift=-.9em,yshift=-2pt].child anchor) circle(1pt);}},
  itemize folder/.style={
    parent anchor=-children last,
    anchor=parent first,
    calign=child,
    calign primary child=1,
    for descendants={itemize rect},
    for children={
      child anchor=parent,
      anchor=parent first,
      edge={rotate/.option=!parent.grow},
      edge path={
        \noexpand\path[\forestoption{edge}]([xshift=\forestregister{itemize folder indent}]!u.parent anchor) |- ([yshift=-2pt].child anchor)\forestoption{edge label};
      },
    },
    after packing node={
      if n children=0{}{
        tempdiml=l_sep()-l("!1"),
        tempdims={-abs(max_s("","")-min_s("",""))-s_sep()},
        for children={
          l+=tempdiml,
          s+=tempdims()*(reversed()-0.5)*2,
        },
      },
    },
  }
}

\begin{forest}
    for root={itemize folder indent=.8em},
    for tree={grow'=0,itemize folder,font=\ttfamily,inner ysep=0pt,l sep=1.7em}
    [Baby Linear Functional analysis
      [normed space
        [$L^p$ space]
        [Banach fixed point theorem]
        [Hahn-Banach theorem
          [separation of convex sets]
          [weak convergence/dual operator,inner ysep=-2.5pt]
          [Banach-Mazur theorem]
          [Banach-Alaoglu-Bourbaki Theorem]
        ]
        [Baire Category theorem
          [Uniform boundedness principle]
          [Open mapping theorem]
          [Closed graph theorem]
        ]
      ]
      [Hilbert space
        [projections]
        [Riesz representation]
        [Fourier series]
        [Lax-Milgram theorem]
        [Self adjoint operators
          [Eigenvalue problem]
          [Spectral theorem]
        ]
      ]
    ]
\end{forest}

\end{document}

间距自己调吧。