为了理解黑洞是如何形成的，我们首先需要理解一个恒星的生命周期。起初，大量的气体（大部分为氢）受自身的引力吸引，而开始向自身坍缩而形成恒星。当它收缩时，气体原子相互越来越频繁地以越来越大的速度碰撞——气体的温度上升。最后，气体变得如此之热，以至于当氢原子碰撞时，它们不再弹开而是聚合形成氦。如同一个受控氢弹爆炸，反应中释放出来的热使得恒星发光。这增添的热又使气体的压力升高，直到它足以平衡引力的吸引，这时气体停止收缩。这有一点像气球——内部气压试图使气球膨胀，橡皮的张力试图使气球缩小，它们之间存在一个平衡。从核反应发出的热和引力吸引的平衡，使恒星在很长时间内维持这种平衡。然而，最终恒星会耗尽了它的氢和其他核燃料。貌似大谬，其实不然的是，恒星初始的燃料越多，它则燃尽得越快。这是因为恒星的质量越大，它就必须越热才足以抵抗引力。而它越热，它的燃料就被用得越快。我们的太阳大概足够再燃烧50多亿年，但是质量更大的恒星可以在1亿年这么短的时间内用尽其燃料，这个时间尺度比宇宙的年龄短得多了。当恒星耗尽了燃料，它开始变冷并开始收缩。随后发生的情况只有等到20世纪20年代末才初次被人们理解。
1928年，一位印度研究生——萨拉玛尼安·强德拉塞卡——乘船来英国剑桥跟英国天文学家阿瑟·爱丁顿爵士（一位广义相对论家）学习。（据记载，在20世纪20年代初有一位记者告诉爱丁顿，说他听说世界上只有三个人能理解广义相对论，爱丁顿停了一下，然后回答：“我正在想这第三个人是谁”。）在他从印度来英的旅途中，强德拉塞卡算出在耗尽所有燃料之后，多大的恒星可以继续对抗自己的引力而维持自己。这个思想是说：当恒星变小时，物质粒子靠得非常近，而按照泡利不相容原理，它们必须有非常不同的速度。这使得它们互相散开并企图使恒星膨胀。一颗恒星可因引力作用和不相容原理引起的排斥力达到平衡而保持其半径不变，正如在它的生命的早期引力被热所平衡一样。
然而，强德拉塞卡意识到，不相容原理所能提供的排斥力有一个极限。恒星中的粒子的最大速度差被相对论限制为光速。这意味着，恒星变得足够紧致之时，由不相容原理引起的排斥力就会比引力的作用小。强德拉塞卡计算出；一个大约为太阳质量一倍半的冷的恒星不能支持自身以抵抗自己的引力。（这质量现在称为强德拉塞卡极限。）前苏联科学家列夫·达维多维奇·兰道几乎在同时也得到了类似的发现。
这对大质量恒星的最终归宿具有重大的意义。如果一颗恒星的质量比强德拉塞卡极限小，它最后会停止收缩并终于变成一颗半径为几千英里和密度为每立方英寸几百吨的“白矮星”。白矮星是它物质中电子之间的不相容原理排斥力所支持的。我们观察到大量这样的白矮星。第一颗被观察到的是绕着夜空中最亮的恒星——天狼星转动的那一颗。
兰道指出，对于恒星还存在另一可能的终态。其极限质量大约也为太阳质量的一倍或二倍，但是其体积甚至比白矮星还小得多。这些恒星是由中子和质子之间，而不是电子之间的不相容原理排斥力所支持。所以它们被叫做中子星。它们的半径只有10英里左右，密度为每立方英寸几亿吨。在中子星被第一次预言时，并没有任何方法去观察它。实际上，很久以后它们才被观察到。
另一方面，质量比强德拉塞卡极限还大的恒星在耗尽其燃料时，会出现一个很大的问题：在某种情形下，它们会爆炸或抛出足够的物质，使自己的质量减少到极限之下，以避免灾难性的引力坍缩。但是很难令人相信，不管恒星有多大，这总会发生。怎么知道它必须损失重量呢？即使每个恒星都设法失去足够多的重量以避免坍缩，如果你把更多的质量加在白矮星或中子星上，使之超过极限将会发生什么？它会坍缩到无限密度吗？爱丁顿为此感到震惊，他拒绝相信强德拉塞卡的结果。爱丁顿认为，一颗恒星不可能坍缩成一点。这是大多数科学家的观点：爱因斯坦自己写了一篇论文，宣布恒星的体积不会收缩为零。其他科学家，尤其是他以前的老师、恒星结构的主要权威——爱丁顿的敌意使强德拉塞卡抛弃了这方面的工作，转去研究诸如恒星团运动等其他天文学问题。然而，他获得1983年诺贝尔奖，至少部分原因在于他早年所做的关于冷恒星的质量极限的工作。
强德拉塞卡指出，不相容原理不能够阻止质量大于强德拉塞卡极限的恒星发生坍缩。但是，根据广义相对论，这样的恒星会发生什么情况呢？这个问题被一位年轻的美国人罗伯特·奥本海默于1939年首次解决。然而，他所获得的结果表明，用当时的望远镜去观察不会再有任何结果。以后，因第二次世界大战的干扰，奥本海默本人非常密切地卷入到原子弹计划中去。战后，由于大部分科学家被吸引到原子和原子核尺度的物理中去，因而引力坍缩的问题被大部分人忘记了。
现在，我们从奥本海默的工作中得到一幅这样的图像：恒星的引力场改变了光线的路径，使之和原先没有恒星情况下的路径不一样。光锥是表示光线从其顶端发出后在空间——时间里传播的轨道。光锥在恒星表面附近稍微向内偏折，在日食时观察远处恒星发出的光线，可以看到这种偏折现象。当该恒星收缩时，其表面的引力场变得很强，光线向内偏折得更多，从而使得光线从恒星逃逸变得更为困难。对于在远处的观察者而言，光线变得更黯淡更红。最后，当这恒星收缩到某一临界半径时，表面的引力场变得如此之强，使得光锥向内偏折得这么多，以至于光线再也逃逸不出去。根据相对论，没有东西会走得比光还快。这样，如果光都逃逸不出来，其他东西更不可能逃逸，都会被引力拉回去。也就是说，存在一个事件的集合或空间——时间区域，光或任何东西都不可能从该区域逃逸而到达远处的观察者。现在我们将这区域称做黑洞，将其边界称做事件视界，它和刚好不能从黑洞逃逸的光线的轨迹相重合。
当你观察一个恒星坍缩并形成黑洞时，为了理解你所看到的情况，切记在相对论中没有绝对时间。每个观测者都有自己的时间测量。由于恒星的引力场，在恒星上某人的时间将和在远处某人的时间不同。假定在坍缩星表面有一无畏的航天员和恒星一起向内坍缩，按照他的表，每一秒钟发一信号到一个绕着该恒星转动的空间飞船上去。在他的表的某一时刻，譬如11点钟，恒星刚好收缩到它的临界半径，此时引力场强到没有任何东西可以逃逸出去，他的信号再也不能传到空间飞船了。当11点到达时，他在空间飞船中的伙伴发现，航天员发来的一串信号的时间间隔越变越长。但是这个效应在10点59分59秒之前是非常微小的。在收到10点59分58秒和10点59分59秒发出的两个信号之间，他们只需等待比一秒钟稍长一点的时间，然而他们必须为11点发出的信号等待无限长的时间。按照航天员的手表，光波是在10点59分59秒和11点之间由恒星表面发出；从空间飞船上看，那光波被散开到无限长的时间间隔里。在空间飞船上收到这一串光波的时间间隔变得越来越长，所以恒星来的光显得越来越红、越来越淡，最后，该恒星变得如此之朦胧，以至于从空间飞船上再也看不见它，所余下的只是空间中的一个黑洞。然而，此恒星继续以同样的引力作用到空间飞船上，使飞船继续绕着所形成的黑洞旋转。
但是由于以下的问题，使得上述情景不是完全现实的。你离开恒星越远则引力越弱，所以作用在这位无畏的航天员脚上的引力总比作用到他头上的大。在恒星还未收缩到临界半径而形成事件视界之前，这力的差就已经将我们的航天员拉成意大利面条那样，甚至将他撕裂！然而，我们相信，在宇宙中存在质量大得多的天体，譬如星系的中心区域，它们遭受到引力坍缩而产生黑洞；一位在这样的物体上面的航天员在黑洞形成之前不会被撕开。事实上，当他到达临界半径时，不会有任何异样的感觉，甚至在通过永不回返的那一点时，都没注意到。但是，随着这区域继续坍缩，只要在几个钟头之内，作用到他头上和脚上的引力之差会变得如此之大，以至于再将其撕裂。
罗杰·彭罗斯在1965年和1970年之间的研究指出，根据广义相对论，在黑洞中必然存在无限大密度和空间——时间曲率的奇点。这和时间开端时的大爆炸相当类似，只不过它是一个坍缩物体和航天员的时间终点而已。在此奇点，科学定律和我们预言将来的能力都失效了。然而，任何留在黑洞之外的观察者，将不会受到可预见性失效的影响，因为从奇点出发的不管是光还是任何其他信号都不能到达他那儿。这令人惊奇的事实导致罗杰·彭罗斯提出了宇宙监督猜测，它可以被意译为：“上帝憎恶裸奇点。”换言之，由引力坍缩所产生的奇点只能发生在像黑洞这样的地方，在那儿它被事件视界体面地遮住而不被外界看见。严格地讲，这是所谓弱的宇宙监督猜测：它使留在黑洞外面的观察者不致受到发生在奇点处的可预见性失效的影响，但它对那位不幸落到黑洞里的可怜的航天员却是爱莫能助。
广义相对论方程存在一些解，这些解使得我们的航天员可能看到裸奇点。他也许能避免撞到奇点上去，而穿过一个“虫洞”来到宇宙的另一区域。看来这给空间——时间内的旅行提供了巨大的可能性。但是不幸的是，所有这些解似乎都是非常不稳定的；最小的干扰，譬如一个航天员的存在就会使之改变，以至于他还没能看到此奇点，就撞上去而结束了他的时间。换言之，奇点总是发生在他的将来，而从不会在过去。强的宇宙监督猜测是说，在一个现实的解里，奇点总是或者整个存在于将来（如引力坍缩的奇点），或者整个存在于过去（如大爆炸）。因为在接近裸奇点处可能旅行到过去，所以宇宙监督猜测的某种形式的成立是大有希望的。这对科学幻想作家而言是不错的，它表明没有任何一个人的生命曾经平安无事：有人可以回到过去，在你投胎之前杀死你的父亲或母亲！
