\documentclass{ctexart}% artical,report,book, (ctexart:中文)
%宏包:
\usepackage{ctex}%中文
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{soul}
\usepackage{color}
\usepackage{mathtools}
\usepackage{ulem}
\usepackage{xcolor}
\begin{document}
\uline{由于$Y$中的加法是$Y\times Y\rightarrow Y$的连续映射.因此,若$x\ll y,$则存在$x$的邻域$U, y$的邻域$V$使得$V-U\subseteq \operatorname{int}Y_+,$故$U<V.$}
\end{document}
这是全部的代码,运行出来文字全在一行了。
你还没学会 markdown 的代码块语法咩 md官方教程
下面是一个mwe和效果(注意标点符号不应该被放在$ $内部)
\documentclass[12pt]{ctexart}
\usepackage{amsmath}
\usepackage{xeCJKfntef}
\begin{document}
\uline{由于 $Y$ 中的加法是 $Y\times Y\rightarrow Y$ 的连续映射.因此,若 $x\ll y$ ,则存在 $x$ 的邻域 $U$ , $y$ 的邻域 $V$ 使得 $V-U\subseteq \operatorname{int}Y_+,$ 故$U<V$ .}
\end{document}
另外你给的代码太长了,不够Minimal,提供MWE(最小工作示例)时应该删除其他和本问题无关的代码.
例如
@u70550
ulem
有关,这波是误伤....