結局、dx dy って「局所的にユークリッド空間とみなせる空間（多様体）に接線を接空間とかに拡張したもの」でいいんかいな？

「局所的にユークリッド空間とみなせる空間」の厳密な定義は、指定した点の近く（近傍）に開集合を取るとユークリッド空間の
性質に無限に近くなるモノが取れるなどで行うとして。曖昧な考えでテキトーｗ