texについてです。任意の $F\\in{\m Aut}(D(a))$ が$ F(0)=0$ を満たすことを背理法で示す．$F_0\\in{\m Aut}(D(a))$ かつ $F_0(0)=z_0$ を満たす$z_0\\in D(a)\\setminus\\{0\\}$ が存在すると仮定する．って打ったんですけど、謎の空白が入ってしまいます。どうしたら良いでしょうか？

$F_0\\in{\
m Aut}(D(a))$のところで改行できなかったために、その直前で改行したのでその行の空白が広がったのではないですかね。本文中の数式を多用するとそういういことが起こりやすくなります。要所に別行建て数式を使うなどして文章を書き直すのが簡単な解決策です。あるいは強引ですが\\binoppenalty=0 \
elpenalty=0などとして演算子のところで改行しやすくする手もあります。