Python(SymPy)を使って学ぶアインシュタイン方程式のド・ジッター解

今回は Python(SymPy)を活用する具体例として、4次元時空のde Sitter(ド・ジッター)解が宇宙定数がある場合のアインシュタイン方程式の解になっていることをPython(SymPy)を使って確認してみたいと思います。宇宙定数がゼロの場合には、前の記事pianofisica.hatenablog.comでみたように、Schwarzschild(シュワルツ…