是怎样的呢？人们会以为它将依赖于形成黑洞的恒星的所有的复杂特征——不仅仅它的质量和转动速度，而且恒星不同部分的不同密度以及恒星内气体的复杂运动。如果黑洞就像坍缩形成它们的原先物体那样变化多端，一般来讲，对之作任何预言都将是非常困难的。
然而，加拿大科学家外奈·伊斯雷尔（他生于柏林，在南非长大，在爱尔兰得到博士）在1967年使黑洞研究发生了彻底的改变。他指出，根据广义相对论，非旋转的黑洞必须是非常简单、完美的球形；其大小只依赖于它们的质量，并且任何两个这样的同质量的黑洞必须是等同的。事实上，它们可以用爱因斯坦的特解来描述，这个解是在广义相对论发现后不久的1917年卡尔·施瓦兹席尔德找到的。一开始，许多人（其中包括伊斯雷尔自己）认为，既然黑洞必须是完美的球形，一个黑洞只能由一个完美球形物体坍缩而形成。所以，任何实际的恒星——从来都不是完美的球形——只会坍缩形成一个裸奇点。
然而，对于伊斯雷尔的结果，一些人，特别是罗杰·彭罗斯和约翰·惠勒提倡一种不同的解释。他们论证道，牵涉恒星坍缩的快速运动表明，其释放出来的引力波使之越来越近于球形，到它终于静态时，就变成准确的球形。按照这种观点，任何非旋转恒星，不管其形状和内部结构如何复杂，在引力坍缩之后都将终结于一个完美的球形黑洞，其大小只依赖于它的质量。这种观点得到进一步的计算支持，并且很快就为大家所接受。
伊斯雷尔的结果只处理了由非旋转物体形成的黑洞。1963年，新西兰人罗伊·克尔找到了广义相对论方程的描述旋转黑洞的一族解。这些“克尔”黑洞以恒常速度旋转，其大小与形状只依赖于它们的质量和旋转的速度。如果旋转为零，黑洞就是完美的球形，这解就和施瓦兹席尔德解一样。如果有旋转，黑洞的赤道附近就鼓出去（正如地球或太阳由于旋转而鼓出去一样），而旋转得越快则鼓得越多。由此人们猜测，如将伊斯雷尔的结果推广到包括旋转体的情形，则任何旋转物体坍缩形成黑洞后，将最后终结于由克尔解描述的一个静态。
1970年，我在剑桥的一位同事和研究生同学布兰登·卡特为证明此猜测跨出了第一步。他指出，假定一个稳态的旋转黑洞，正如一个自旋的陀螺那样，有一个对称轴，则它的大小和形状，只由它的质量和旋转速度所决定。然后我在1971年证明了，任何稳态旋转黑洞确实有这样的一个对称轴。最后，在国王学院任教的大卫·罗宾逊利用卡特和我的结果证明了这猜测是对的：这样的黑洞确实必须是克尔解。所以在引力坍缩之后，一个黑洞必须最终演变成一种能够旋转、但是不能搏动的态。并且它的大小和形状，只决定于它的质量和旋转速度，而与坍缩成为黑洞的原先物体的性质无关。此结果以这样的一句谚语表达而成为众所周知：“黑洞没有毛。”“无毛”定理具有巨大的实际重要性，因为它极大地限制了黑洞的可能类型。所以，人们可以制造可能包含黑洞的物体的具体模型，再将此模型的预言和观测相比较。因为在黑洞形成之后，我们所能测量的只是有关坍缩物体的质量和旋转速度，所以“无毛”定理还意味着，有关这物体的非常大量的信息，在黑洞形成时损失了。下一章我们将会看到它的意义。
黑洞是科学史上极为罕见的情形之一，在没有任何观测到的证据证明其理论是正确的情形下，作为数学的模型被发展到非常详尽的地步。的确，这经常是反对黑洞的主要论据：你怎么能相信一个其依据只是基于令人怀疑的广义相对论的计算的对象呢？然而，1963年，加利福尼亚的帕罗玛天文台的天文学家马丁·施密特测量了在称为3C273（即是剑桥射电源编目第三类的273号）射电源方向的一个黯淡的类星体的红移。他发现引力场不可能引起这么大的红移——如果它是引力红移，这类星体必须具有如此大的质量，并离我们如此之近，以至于会干扰太阳系中的行星轨道。这暗示此红移是由宇宙的膨胀引起的，进而表明此物体离我们非常远。由于在这么远的距离还能被观察到，它必须非常亮，也就是必须辐射出大量的能量。人们会想到，产生这么大量能量的唯一机制看来不仅仅是一个恒星，而是一个星系的整个中心区域的引力坍缩。人们还发现了许多其他类星体，它们都有很大的红移。但是它们都离开我们太远了，所以对之进行观察太困难，以至于不能给黑洞提供结论性的证据。
1967年，剑桥的一位研究生约瑟琳·贝尔发现了天空发射出无线电波的规则脉冲的物体，这对黑洞的存在的预言带来了进一步的鼓舞。起初贝尔和她的导师安东尼·赫维许以为，他们可能和我们星系中的外星文明进行了接触！我的确记得在宣布他们发现的讨论会上，他们将这四个最早发现的源称为LGM1－4，LGM 表示“小绿人”（“Little Green Man”）的意思。然而，最终他们和所有其他人都得到了不太浪漫的结论，这些被称为脉冲星的物体，事实上是旋转的中子星，这些中子星由于它们的磁场和周围物质复杂的相互作用，而发出无线电波的脉冲。这对于写空间探险的作者而言是个坏消息，但对于我们这些当时相信黑洞的少数人来说，是非常大的希望——这是第一个中子星存在的证据。中子星的半径大约10英哩，只是恒星变成黑洞的临界半径的几倍。如果一颗恒星能坍缩到这么小的尺度，预料其他恒星会坍缩到更小的尺度而成为黑洞，就是理所当然的了。
在靠近照片中心的两个恒星之中更亮的那颗是天鹅X－1，被认为是由互相绕着旋转的一个黑洞和一个正常恒星组成。
按照黑洞定义，它不能发出光，我们何以希望能检测到它呢？这有点像在煤库里找黑猫。庆幸的是，有一种办法。正如约翰·米歇尔在他1783年的先驱性论文中指出的，黑洞仍然将它的引力作用到它周围的物体上。天文学家观测了许多系统，在这些系统中，两颗恒星由于相互之间的引力吸引而互相围绕着运动。他们还看到了，其中只有一颗可见的恒星绕着另一颗看不见的伴星运动的系统。人们当然不能立即得出结论说，这伴星即为黑洞——它可能仅仅是一颗太暗以至于看不见的恒星而已。然而，有些这种系统，例如叫做天鹅X－1的，也刚好是一个强的X 射线源。对这现象的最好解释是，物质从可见星的表面被吹起来，当它落向不可见的伴星之时，发展成螺旋状的轨道（这和水从浴缸流出很相似），并且变得非常热而发出X射线。为了使这机制起作用，不可见物体必须非常小，像白矮星、中子星或黑洞那样。从观察那颗可见星的轨道，人们可推算出不可见物体的最小的可能质量。在天鹅X…1 的情形，不可见星大约是太阳质量的6倍。按照强德拉塞卡的结果，它的质量太大了，既不可能是白矮星，也不可能是中子星。所以看来它只能是一个黑洞。
还有其他不用黑洞来解释天鹅X…1 的模型，但所有这些都相当牵强附会。黑洞看来是对这一观测的仅有的真正自然的解释。尽管如此，我和加州理工学院的基帕·索恩打赌说，天鹅X…1 不包含一个黑洞！这对我而言是一个保险的形式。我对黑洞作了许多研究，如果发现黑洞不存在，则这一切都成为徒劳。但在这种情形下，我将得到赢得打赌的安慰，他要给我4年的杂志《私人眼睛》。如果黑洞确实存在，基帕·索思将得到1年的《阁楼》。我们在1975年打赌时，大家80％断定，天鹅座是一黑洞。迄今，我可以讲大约95％是肯定的，但输赢最终尚未见分晓。
现在，在我们的星系中和邻近两个名叫麦哲伦星云的星系中，还有几个类似天鹅X…1 的黑洞的证据。然而，几乎可以肯定，黑洞的数量比这多得太多了！在宇宙的漫长历史中，很多恒星应该已经烧尽了它们的核燃料并坍缩了。黑洞的数目甚至比可见恒星的数目要大得相当多。单就我们的星系中，大约总共有1千亿颗可见恒星。这样巨大数量的黑洞的额外引力就能解释为何目前我们星系具有如此的转动速率，单是可见恒星的质量是不足够的。我们还有某些证据说明，在我们星系的中心有大得多的黑洞，其质量大约是太阳的10万倍。星系中的恒星若十分靠近这个黑洞时，作用在它的近端和远端上的引力之差或潮汐力会将其撕开，它们的遗骸以及其他恒星所抛出的气体将落到黑洞上去。正如同在天鹅X…1 情形那样，气体将以螺旋形轨道向里运动并被加热，虽然不如天鹅X…1 那种程度会热到发出X射线，但是它可以用来说明星系中心观测到的非常紧致的射电和红外线源。
人们认为，在类星体的中心是类似的、但质量更大的黑洞，其质量大约为太阳的1亿倍。落入此超重的黑洞的物质能提供仅有的足够强大的能源，用以解释这些物体释放出的巨大能量。当物质旋入黑洞，它将使黑洞往同一方向旋转，使黑洞产生一类似地球上的一个磁场。落入的物质会在黑洞附近产生能量非常高的粒子。该磁场是如此之强，以至于将这些粒子聚焦成沿着黑洞旋转轴，也即它的北极和南极方向往外喷射的射流。在许多星系和类星体中确实观察到这类射流。
人们还可以考虑存在质量比太阳小很多的黑洞的可能性。因为它们的质量比强德拉塞卡极限低，所以不能由引力坍缩产生：这样小质量的恒星，甚至在耗尽了自己的核燃料之后，还能支持自己对抗引力。只有当物质由非常巨大的压力压缩成极端紧密的状态时，这小质量的黑洞才得以形成。一个巨大的氢弹可提供这样的条件：物理学家约翰·惠勒曾经算过，如果将世界海洋里所有的重水制成