文档章节

2017年3月3日 What is a manifold?

airxiechao
 airxiechao
发布于 2017/03/21 08:53
字数 1475
阅读 13
收藏 0

http://physics.stackexchange.com/questions/298022/what-is-a-manifold

What is a manifold?

A manifold is a concept from mathematics that has nothing to do with physics a priori.

The idea is the following: You have probably studied Euclidean geometry in school, so you know how to draw triangles, etc. on a flat piece of paper. In contrast to common parlance, let’s take “space” to mean anything with a number of points. The Euclidean plane (R2R2) or your piece of paper are a “space”, the 3d-space around you is a “space” or the surface of the world is a “space” (caveat: Actually, I want to define a topological space, which is not “everything with a number of points”, but let’s not get distracted here).

Now, if you look at the surface of the sphere, it’s definitely not a Euclidean space: In Euclidean geometry, the sum of every angle in a triangle is 180° which is not true for the surface of a ball, a sphere. However, if you only look at a small patch of the sphere, it is approximately true. For instance, you perceive the earth as flat although it isn’t if you look from above.

A manifold is every “space” with this property: locally, it looks like a Euclidean plane. The circle is a manifold (it looks like a line locally, which is the one-dimensional Euclidean space RR), the sphere (it looks like a plane locally), your room (it looks like a 3d-Euclidean space R3R3 locally - forget about the boundaries here), etc.

The cool thing about manifolds is that this property of looking like Euclidean space locally makes it possible to describe them completely using only Euclidean spaces. Since we know Euclidean space very well, that’s a good thing. For instance, you can take a map of England - since the word “map” is used differently in mathematics, let’s call it a “chart”. This is a perfectly good way of describing England, although it really is part of a round object. You can patch a lot of these charts together to get a whole atlas covering the earth which gives you a nice description of the earth using only 2d pieces of paper. Obviously, you’ll need more than one chart to cover the whole earth without doubling certain points and obviously, if the chart covers a very large area, it will look very distorted at some places, but it’s possible as you can see.

And that’s a manifold. It’s some space where you can create an atlas of charts, each of which is a (part of a) Euclidean space describing a part of the space. Okay, not quite: what you want of the manifold is that you can get from chart to chart with a nice operation. For instance, in your atlas of the earth, some charts will overlap and points in the overlap that are close together on one chart will be close together on the other chart. In other words, you have a map between the overlapping regions of any two charts and that map is continuous (at that point you get a topological manifold) or even differentiable (at that point you get a differentiable manifold).

By now, it should be obvious to you that it should be possible to say that the space around us is a Euclidean manifold. It seems perfectly accurate to describe it using R3R3 locally, as you have probably done in school. And that’s also how manifolds enter relativity: If you add the time dimension, it turns out to be a good guess, that you can still model the space + time as a four dimensional manifold (meaning every chart looks like R4R4 locally).

Why model spacetime with manifolds?

Now you know what a manifold is, but even if you get an idea of how you could model spacetime as a manifold, this doesn’t really tell you why you should model spacetime as a manifold. After all, just because you can do something, that doesn’t always make it particularly useful.

Consider the following problem: Given two points, what’s their shortest distance?

[Aside: Before answering this question, I want to mention that although I talked about things like distances and angles before, you don’t necessarily have these concepts on an arbitrary manifold because it might be impossible to define something like this for your underlying “space”, but if you have a “differentiable manifold” (meaning that the functions that get you from chart to chart in the overlapping regions are differentiable), then you do. At that point, it becomes possible to speak about distances. For physics, especially general relativity, you always have a notion of distances and angles.]

Back to the problem of shortest distance: In RnRn, the answer is pretty simple. The smallest path between two lines is the straight line between them. But on a sphere? In order to define this, you first need a distance on the sphere. But how to do this? At that point I’d already know what the shortest distance is!

Here is one idea: If you consider a flight from London to Buenos Aires (for example), what’s the “shortest path”? Well, the earth is more or less a sphere in some R3R3. That’s a Euclidean space, so you know how to compute distances there, so the shortest path is just the smallest distance of all possible paths. Easy. However, there is a problem: This only works because we have some ambient three dimensional space. But that doesn’t have to be the case - indeed our own “space” doesn’t seem to be embedded in some four spatial dimensions dimensional hyperspace (or whatever you want to call it).

Here is another idea: Your manifold locally looks like a Euclidean space where the answer is simple. What if you only define your distance locally and then somehow patch it together so that it makes sense?

The beautiful thing is that a differentiable manifold gives you tools to do that. This way, you can create a measure of distance (called a Riemannian metric), which allows you to calculate shortest paths between points even without ambient spaces. But it doesn’t stop there. What are parallel lines? What happens to a local coordinate system? For instance, if you fly with your plane, it seems that you are always looking ahead, yet your field of view doesn’t go in a straight line, how does your field of view change going along a path? Once you have your metric, it’s all straightforward.

It should be clear that all of these questions are questions that you can ask about the space(time) surrounding you - and you’d want the answer to them! It also seems natural that you should actually be able to answer these questions for our universe.

So, what’s the metric of our space? Can we just patch it together locally? Well, we could, but it’s not going to be unique, so how to decide what is the right metric? That’s exactly what general relativity is about: The fundamental equations of general relativity tell us how the distance measure in space time is related to matter and energy.

A little bit more about topology (in case you are interested)

Finally, if you want to learn more about the “space” aspect that I left out above, let’s have a closer look there. What you want is not any set of points, but a set of points which has neighbourhoods for every point. You can think of a neighbourhood of a point as a number of points which are somehow “near” the point. Just like in real life, your neighbourhood could be really big, it could comprise all of the space, it mustn’t even be connected, but it must somehow always comprise the points immediately “next to” you. In fact, if you have a distance measure such as the usual Euclidean distance in RnRn, then a set of neighbourhoods is given by all balls of all sizes around any point. However, you can define these neighbourhoods also without having a distance measure, but you can still somehow think of “nearness”.

These spaces are enough to let you define “continuous functions”, where a function is continuous at a point, if all points “near” this point (meaning in some neighbourhood) stay “near” to the point after the mapping (meaning they are mapped into some neighbourhood again). Usually and especially for all manifolds we really want to talk about in relativity, you’d add some more conditions to the spaces to have nicer properties, but if you want to know about this, I suggest to begin learning the true mathematical definitions. There are a lot of other answers that cover the basics!

本文转载自:http://physics.stackexchange.com/questions/298022/what-is-a-manifold

airxiechao
粉丝 4
博文 42
码字总数 9717
作品 1
成都
程序员
私信 提问
Day186 | 遇见GCS(七)

7月份说超级节点计划马上开启,不过一个多月过去,还没有消息。 新闻:http://blockchain.game/news.html 开发者社区:http://developer.blockchain.game/ 新版官网上线:http://blockchain...

自由算法
2018/08/21
0
0
数九时间表(2017-2018)

2017年进九时间 2017进九的日子是12月22日,其实也就是“冬至日”。天文专家介绍说,“九九”是我国北方特别是黄河中下游地区更为适用的一种杂节气。 2017~2018年数九时间表 一九 2017年12月...

anlve
2018/01/27
0
0
我和极光那些事 | 我和Android推送的时间简史

2017年 3月3日 「极光」跟我的渊源真的是极深的,说到极光,不得不追溯到 2017年 3月3日,当时正做毕设项目趣闻。基本的预期功能已经实现了,开始考虑集成推送功能,鉴于水平和时间的约束,决...

下位子
2018/01/05
0
0
索尼宣布PS 4销量超7060万台,PSVR销量突破200万

雷锋网消息,日前,Sony Interactive Entertainment (SIE)宣布,PlayStation 4 (PS4)主机、PlayStation VR (PS VR)虚拟现实设备以及PS4及PS VR游戏软件的销量取得不错的成绩。 据官方公布的数...

田苗
2017/12/10
0
0
KDE Plasma 公布部分 5.8 LTS 版本细节

今年7月,KDE团队确认KDE Plasma 5.8成为长期支持版本(LTS);今天,KDE开发者Eike Hein向外界公开了该版本的诸多细节改善。Hein在声明中写道:“秉承了Plasma 5.7的全新任务管理后台,Pla...

开源中国股侠
2016/09/13
1K
3

没有更多内容

加载失败,请刷新页面

加载更多

golang-字符串-地址分析

demo package mainimport "fmt"func main() {str := "map.baidu.com"fmt.Println(&str, str)str = str[0:5]fmt.Println(&str, str)str = "abc"fmt.Println(&s......

李琼涛
今天
4
0
Spring Boot WebFlux 增删改查完整实战 demo

03:WebFlux Web CRUD 实践 前言 上一篇基于功能性端点去创建一个简单服务,实现了 Hello 。这一篇用 Spring Boot WebFlux 的注解控制层技术创建一个 CRUD WebFlux 应用,让开发更方便。这里...

泥瓦匠BYSocket
今天
6
0
从0开始学FreeRTOS-(列表与列表项)-3

FreeRTOS列表&列表项的源码解读 第一次看列表与列表项的时候,感觉很像是链表,虽然我自己的链表也不太会,但是就是感觉很像。 在FreeRTOS中,列表与列表项使用得非常多,是FreeRTOS的一个数...

杰杰1号
今天
8
0
Java反射

Java 反射 反射是框架设计的灵魂(使用的前提条件:必须先得到代表的字节码的 Class,Class 类 用于表示.class 文件(字节码)) 一、反射的概述 定义:JAVA 反射机制是在运行状态中,对于任...

zzz1122334
今天
5
0
聊聊nacos的LocalConfigInfoProcessor

序 本文主要研究一下nacos的LocalConfigInfoProcessor LocalConfigInfoProcessor nacos-1.1.3/client/src/main/java/com/alibaba/nacos/client/config/impl/LocalConfigInfoProcessor.java p......

go4it
昨天
9
0

没有更多内容

加载失败,请刷新页面

加载更多

返回顶部
顶部