リーマン曲率テンソルの定義とその対称性