2021-08-01から1ヶ月間の記事一覧
区間 $x\ge0$ を定義域とする関数 $\sqrt{x}$ は，Lipschitz 連続ではありません． In[1]:= Reduce[ForAll[{x,y},And[0<=x,0<=y],Abs[Sqrt[x]-Sqrt[y]]<=L*Abs[x-y]],Reals] Out[1]= Falseしかし，一様連続です． In[2]:= Reduce[ForAll[e,0
区間 $x\ge0$ を定義域とする関数 $\sqrt{x}$ は，Lipschitz 連続ではありません． In[1]:= Reduce[ForAll[{x,y},And[0<=x,0<=y],Abs[Sqrt[x]-Sqrt[y]]<=L*Abs[x-y]],Reals] Out[1]= Falseしかし，一様連続です． In[2]:= Reduce[ForAll[e,0
