History of Maths 1900 To The Present
History of Maths 1900 To The Present
PDF generated using the open source mwlib toolkit. See [Link] for more information. PDF generated at: Sun, 13 Jan 2013 [Link] UTC
Contents
Articles
Russell's paradox Principia Mathematica Koch snowflake Axiom of choice Jordan curve theorem Special relativity Intuitionism Intuitionistic logic Heyting arithmetic Intuitionistic type theory Constructive set theory Constructive analysis ZermeloFraenkel set theory Hairy ball theorem General relativity Hilbert's program Gdel's incompleteness theorems Travelling salesman problem Turing machine Binary number Ham sandwich theorem Enigma machine Colossus computer Game theory ENIAC Prisoner's dilemma Calculator George Plya How to Solve It Erds number Chaos theory Secretary problem Catastrophe theory Conway's Game of Life 1 6 19 24 34 37 55 60 66 67 72 75 76 83 86 119 121 138 153 169 184 187 208 217 236 244 254 269 272 275 280 295 301 306
Diophantine set P versus NP problem Public-key cryptography Fractal Four color theorem Logistic map Kepler conjecture Wiles's proof of Fermat's Last Theorem Millennium Prize Problems Hodge conjecture Poincar conjecture Riemann hypothesis YangMills existence and mass gap NavierStokes existence and smoothness Birch and Swinnerton-Dyer conjecture Grigori Perelman
315 318 329 339 351 361 367 371 378 381 385 394 418 420 423 427
References
Article Sources and Contributors Image Sources, Licenses and Contributors 436 446
Article Licenses
License 451
Russell's paradox
Russell's paradox
In the foundations of mathematics, Russell's paradox (also known as Russell's antinomy), discovered by Bertrand Russell in 1901, showed that the naive set theory created by Georg Cantor leads to a contradiction. The same paradox had been discovered a year before by Ernst Zermelo but he did not publish the idea, which remained known only to Hilbert, Husserl and other members of the University of Gttingen. According to naive set theory, any definable collection is a set. Let R be the set of all sets that are not members of themselves. If R qualifies as a member of itself, it would contradict its own definition as a set containing all sets that are not members of themselves. On the other hand, if such a set is not a member of itself, it would qualify as a member of itself by the same definition. This contradiction is Russell's paradox. Symbolically:
In 1908, two ways of avoiding the paradox were proposed, Russell's type theory and the Zermelo set theory, the first constructed axiomatic set theory. Zermelo's axioms went well beyond Frege's axioms of extensionality and unlimited set abstraction, and evolved into the now-canonical ZermeloFraenkel set theory (ZF).[1]
Informal presentation
Let us call a set "abnormal" if it is a member of itself, and "normal" otherwise. For example, take the set of all geometrical squares. That set is not itself a square, and therefore is not a member of the set of all squares. So it is "normal". On the other hand, if we take the complementary set that contains all non-squares, that set is itself not a square and so should be one of its own members. It is "abnormal". Now we consider the set of all normal sets, R. Determining whether R is normal or abnormal is impossible: If R were a normal set, it would be contained in the set of normal sets (itself), and therefore be abnormal; and if R were abnormal, it would not be contained in the set of all normal sets (itself), and therefore be normal. This leads to the conclusion that R is neither normal nor abnormal: Russell's paradox.
Formal presentation
Define Naive Set Theory (NST) as the theory of predicate logic with a binary predicate schema of unrestricted comprehension: and the following axiom
for any formula P with only the variable x free. Substitute (reusing the symbol y) and universal instantiation we have a contradiction. Therefore NST is inconsistent.
for
Set-theoretic responses
In 1908, Ernst Zermelo proposed an axiomatization of set theory that avoided the paradoxes of naive set theory by replacing arbitrary set comprehension with weaker existence axioms, such as his axiom of separation (Aussonderung). Modifications to this axiomatic theory proposed in the 1920s by Abraham Fraenkel, Thoralf Skolem, and by Zermelo himself resulted in the axiomatic set theory called ZFC. This theory became widely accepted once Zermelo's axiom of choice ceased to be controversial, and ZFC has remained the canonical axiomatic set theory down to the present day. ZFC does not assume that, for every property, there is a set of all things satisfying that property. Rather, it asserts that given any set X, any subset of X definable using first-order logic exists. The object R discussed above cannot be
Russell's paradox constructed in this fashion, and is therefore not a ZFC set. In some extensions of ZFC, objects like R are called proper classes. ZFC is silent about types, although some argue that Zermelo's axioms tacitly presuppose a background type theory. In ZFC, given a set A, it is possible to define a set B that consists of exactly the sets in A that are not members of themselves. B cannot be in A by the same reasoning in Russell's Paradox. This variation of Russell's paradox shows that no set contains everything. Through the work of Zermelo and others, especially John von Neumann, the structure of what some see as the "natural" objects described by ZFC eventually became clear; they are the elements of the von Neumann universe, V, built up from the empty set by transfinitely iterating the power set operation. It is thus now possible again to reason about sets in a non-axiomatic fashion without running afoul of Russell's paradox, namely by reasoning about the elements of V. Whether it is appropriate to think of sets in this way is a point of contention among the rival points of view on the philosophy of mathematics. Other resolutions to Russell's paradox, more in the spirit of type theory, include the axiomatic set theories New Foundations and Scott-Potter set theory.
History
Russell discovered the paradox in May or June 1901.[2] By his own admission in his 1919 Introduction to Mathematical Philosophy, he "attempted to discover some flaw in Cantor's proof that there is no greatest cardinal".[3] In a 1902 letter,[4] he announced the discovery to Gottlob Frege of the paradox in Frege's 1879 Begriffsschrift and framed the problem in terms of both logic and set theory, and in particular in terms of Frege's definition of function; in the following, p.17 refers to a page in the original Begriffsschrift, and page 23 refers to the same page in van Heijenoort 1967: There is just one point where I have encountered a difficulty. You state (p. 17 [p. 23 above]) that a function too, can act as the indeterminate element. This I formerly believed, but now this view seems doubtful to me because of the following contradiction. Let w be the predicate: to be a predicate that cannot be predicated of itself. Can w be predicated of itself? From each answer its opposite follows. Therefore we must conclude that w is not a predicate. Likewise there is no class (as a totality) of those classes which, each taken as a totality, do not belong to themselves. From this I conclude that under certain circumstances a definable collection [Menge] does not form a totality.[5] Russell would go to cover it at length in his 1903 The Principles of Mathematics where he repeats his first encounter with the paradox:[6] Before taking leave of fundamental questions, it is necessary to examine more in detail the singular contradiction, already mentioned, with regard to predicates not predicable of themselves. ... I may mention that I was led to it in the endeavour to reconcile Cantor's proof...." Russell wrote to Frege about the paradox just as Frege was preparing the second volume of his Grundgesetze der Arithmetik.[7] Frege did not waste time responding to Russell, his letter dated 22 June 1902 appears, with van Heijenoort's commentary in Heijenoort 1967:126127. Frege then wrote an appendix admitting to the paradox,[8] and proposed a solution that Russell would endorse in his Principles of Mathematics,[9] but was later considered by some unsatisfactory.[10] For his part, Russell had his work at the printers and he added an appendix on the doctrine of types.[11] Ernst Zermelo in his (1908) A new proof of the possibility of a well-ordering (published at the same time he published "the first axiomatic set theory")[12] laid claim to prior discovery of the antinomy in Cantor's naive set theory. He states: "And yet, even the elementary form that Russell9 gave to the set-theoretic antinomies could have persuaded them [J. Knig, Jourdain, F. Bernstein] that the solution of these difficulties is not to be sought in the surrender of well-ordering but only in a suitable restriction of the notion of set".[13] Footnote 9 is where he stakes his
1903, pp. 366368. I had, however, discovered this antinomy myself, independently of Russell, and had communicated it prior to 1903 to Professor Hilbert among others.[14] A written account of Zermelo's actual argument was discovered in the Nachlass of Edmund Husserl.[15] It is also known that unpublished discussions of set theoretical paradoxes took place in the mathematical community at the turn of the century. van Heijenoort in his commentary before Russell's 1902 Letter to Frege states that Zermelo "had discovered the paradox independently of Russell and communicated it to Hilbert, among others, prior to its publication by Russell".[16] In 1923, Ludwig Wittgenstein proposed to "dispose" of Russell's paradox as follows: The reason why a function cannot be its own argument is that the sign for a function already contains the prototype of its argument, and it cannot contain itself. For let us suppose that the function F(fx) could be its own argument: in that case there would be a proposition 'F(F(fx))', in which the outer function F and the inner function F must have different meanings, since the inner one has the form O(f(x)) and the outer one has the form Y(O(fx)). Only the letter 'F' is common to the two functions, but the letter by itself signifies nothing. This immediately becomes clear if instead of 'F(Fu)' we write '(do) : F(Ou) . Ou = Fu'. That disposes of Russell's paradox. (Tractatus Logico-Philosophicus, 3.333) Russell and Alfred North Whitehead wrote their three-volume Principia Mathematica (PM) hoping to achieve what Frege had been unable to do. They sought to banish the paradoxes of naive set theory by employing a theory of types they devised for this purpose. While they succeeded in grounding arithmetic in a fashion, it is not at all evident that they did so by purely logical means. While PM avoided the known paradoxes and allows the derivation of a great deal of mathematics, its system gave rise to new problems. In any event, Kurt Gdel in 193031 proved that while the logic of much of PM, now known as first-order logic, is complete, Peano arithmetic is necessarily incomplete if it is consistent. This is very widely though not universally regarded as having shown the logicist program of Frege to be impossible to complete.
Applied versions
There are some versions of this paradox that are closer to real-life situations and may be easier to understand for non-logicians. For example, the Barber paradox supposes a barber who shaves all men who do not shave themselves and only men who do not shave themselves. When one thinks about whether the barber should shave himself or not, the paradox begins to emerge. As another example, consider five lists of encyclopedia entries within the same encyclopedia:
List of articles about people: Ptolemy VII of Egypt Hermann Hesse Don Nix Don Knotts Nikola Tesla Sherlock Holmes Emperor Knin List of articles starting with the letter L: ... ... List of articles starting with the letter K List of articles starting with the letter L List of articles starting with the letter M L L!VE TV L&H List of articles about places: Leivonmki Katase River Enoshima List of articles about Japan: Emperor Showa Katase River Enoshima List of all lists that do not contain themselves: ... ... List of all lists that do not contain themselves? List of articles starting with the letter K List of articles starting with the letter M List of articles about Japan List of articles about places List of articles about people
Russell's paradox If the "List of all lists that do not contain themselves" contains itself, then it does not belong to itself and should be removed. However, if it does not list itself, then it should be added to itself. While appealing, these layman's versions of the paradox share a drawback: an easy refutation of the Barber paradox seems to be that such a barber does not exist, or at least does not shave (a variant of which is that the barber is a woman). The whole point of Russell's paradox is that the answer "such a set does not exist" means the definition of the notion of set within a given theory is unsatisfactory. Note the difference between the statements "such a set does not exist" and "it is an empty set". It is like the difference between saying, "There is no bucket", and saying, "The bucket is empty". A notable exception to the above may be the GrellingNelson paradox, in which words and meaning are the elements of the scenario rather than people and hair-cutting. Though it is easy to refute the Barber's paradox by saying that such a barber does not (and cannot) exist, it is impossible to say something similar about a meaningfully defined word. One way that the paradox has been dramatised is as follows: Suppose that every public library has to compile a catalog of all its books. Since the catalog is itself one of the library's books, some librarians include it in the catalog for completeness; while others leave it out as it being one of the library's books is self-evident. Now imagine that all these catalogs are sent to the national library. Some of them include themselves in their listings, others do not. The national librarian compiles two master catalogs one of all the catalogs that list themselves, and one of all those that don't. The question is: should these catalogs list themselves? The 'Catalog of all catalogs that list themselves' is no problem. If the librarian doesn't include it in its own listing, it is still a true catalog of those catalogs that do include themselves. If he does include it, it remains a true catalog of those that list themselves. However, just as the librarian cannot go wrong with the first master catalog, he is doomed to fail with the second. When it comes to the 'Catalog of all catalogs that don't list themselves', the librarian cannot include it in its own listing, because then it would include itself. But in that case, it should belong to the other catalog, that of catalogs that do include themselves. However, if the librarian leaves it out, the catalog is incomplete. Either way, it can never be a true catalog of catalogs that do not list themselves.
Russell's paradox The original Russell's paradox with "contain": The container (Set) that contains all (containers) that don't contain themselves. The GrellingNelson paradox with "describer": The describer (word) that describes all words, that don't describe themselves. Richard's paradox with "denote": The denoter (number) that denotes all denoters (numbers) that don't denote themselves. (In this paradox, all descriptions of numbers get an assigned number. The term "that denotes all denoters (numbers) that don't denote themselves" is here called Richardian.)
Related paradoxes
The liar paradox and Epimenides paradox, whose origins are ancient The KleeneRosser paradox, showing that the original lambda calculus is inconsistent, by means of a self-negating statement Curry's paradox (named after Haskell Curry), which does not require negation The smallest uninteresting integer paradox
Notes
[1] Set theory paradoxes (http:/ / www. suitcaseofdreams. net/ Set_theory_Paradox. htm) [2] Godehard Link (2004), One hundred years of Russell's paradox (http:/ / books. google. com/ ?id=Xg6QpedPpcsC& pg=PA350), p.350, ISBN978-3-11-017438-0, [3] Russell 1920:136 [4] Gottlob Frege, Michael Beaney (1997), The Frege reader (http:/ / books. google. com/ ?id=4ktC0UrG4V8C& pg=PA253), p.253, ISBN978-0-631-19445-3, . Also van Heijenoort 1967:124125 [5] Remarkably, this letter was unpublished until van Heijenoort 1967 it appears with van Heijenoort's commentary at van Heijenoort 1967:124125. [6] Russell 1903:101 [7] cf van Heijenoort's commentary before Frege's Letter to Russell in van Heijenoort 1967:126. [8] van Heijenoort's commentary, cf van Heijenoort 1967:126 ; Frege starts his analysis by this exceptionally honest comment : "Hardly anything more unfortunate can befall a scientific writer than to have one of the foundations of his edifice shaken after the work is finished. This was the position I was placed in by a letter of Mr Bertrand Russell, just when the printing of this volume was nearing its completion" (Appendix of Grundgesetze der Arithmetik, vol. II, in The Frege Reader, p.279, translation by Michael Beaney [9] cf van Heijenoort's commentary, cf van Heijenoort 1967:126. The added text reads as follows: " Note. The second volume of Gg., which appeared too late to be noticed in the Appendix, contains an interesting discussion of the contradiction (pp. 253265), suggesting that the solution is to be found by denying that two propositional functions that determine equal classes must be equivalent. As it seems very likely that this is the true solution, the reader is strongly recommended to examine Frege's argument on the point" (Russell 1903:522); The abbreviation Gg. stands for Frege's Grundgezetze der Arithmetik. Begriffsschriftlich abgeleitet. Vol. I. Jena, 1893. Vol. II. 1903. [10] Livio states that "While Frege did make some desperate attempts to remedy his axiom system, he was unsuccessful. The conclusion appeared to be disastrous...." Livio 2009:188. But van Heijenoort in his commentary before Frege's (1902) Letter to Russell describes Frege's proposed "way out" in some detail the matter has to do with the " 'transformation of the generalization of an equality into an equality of courses-of-values. For Frege a function is something incomplete, 'unsaturated' "; this seems to contradict the contemporary notion of a "function in extension"; see Frege's wording at page 128: "Incidentally, it seems to me that the expession 'a predicate is predicated of itself' is not exact. ...Therefore I would prefer to say that 'a concept is predicated of its own extension' [etc]". But he waffles at the end of his suggestion that a function-as-concept-in-extension can be written as predicated of its function. van Heijenoort cites Quine: "For a late and thorough study of Frege's "way out", see Quine 1955": "On Frege's way out", Mind 64, 145159; reprinted in Quine 1955b: Appendix. Completeness of quantification theory. Loewenheim's theorem, enclosed as a pamphlet with part of the third printing (1955) of Quine 1950 and incorporated in the revised edition (1959), 253260" (cf REFERENCES in van Heijenoort 1967:649) [11] Russell mentions this fact to Frege, cf van Heijenoort's commentary before Frege's (1902) Letter to Russell in van Heijenoort 1967:126 [12] van Heijenoort's commentary before Zermelo (1908a) Investigations in the foundations of set theory I in van Heijenoort 1967:199 [13] van Heijenoort 1967:190191. In the section before this he objects strenuously to the notion of impredicativity as defined by Poincar (and soon to be taken by Russell, too, in his 1908 Mathematical logic as based on the theory of types cf van Heijenoort 1967:150182). [14] Ernst Zermelo (1908) A new proof of the possibility of a well-ordering in van Heijenoort 1967:183198. Livio 2009:191 reports that Zermelo "discovered Russell's paradox independently as early as 1900"; Livio in turn cites Ewald 1996 and van Heijenoort 1967 (cf Livio 2009:268). [15] B. Rang and W. Thomas, "Zermelo's discovery of the 'Russell Paradox'", Historia Mathematica, v. 8 n. 1, 1981, pp. 1522. doi:10.1016/0315-0860(81)90002-1
Russell's paradox
[16] van Heijenoort 1967:124
References
Potter, Michael (15 January 2004), Set Theory and its Philosophy, Clarendon Press (Oxford University Press), ISBN978-0-19-926973-0 van Heijenoort, Jean (1967, third printing 1976), From Frege to Gdel: A Source Book in Mathematical Logic, 1979-1931, Cambridge, Massachusetts: Harvard University Press, ISBN0-674-32449-8 Livio, Mario (6 January 2009), Is God a Mathematician?, New York: Simon & Schuster, ISBN978-0-7432-9405-8
External links
Russell's Paradox ([Link] at Cut-the-Knot Stanford Encyclopedia of Philosophy: " Russell's Paradox ([Link] by A. D. Irvine. Inconsistent countable set,[Link] ([Link] 115667544?secret_password=2gzzmxsoylip718oxbvd)
Principia Mathematica
The Principia Mathematica is a three-volume work on the foundations of mathematics, written by Alfred North Whitehead and Bertrand Russell and published in 1910, 1912, and 1913. In 1927, it appeared in a second edition with an important Introduction To the Second Edition, an Appendix A that replaced 9 and an all-new Appendix C. PM, as it is often abbreviated, was an attempt to describe a set of axioms and inference rules in symbolic logic from which all mathematical truths could in principle be proven. As such, this ambitious project is of great importance in the history of mathematics and philosophy,[1] being one of the foremost products of the belief that such an undertaking may have been achievable. However, in 1931, Gdel's incompleteness theorem proved for good that PM, and in fact any other attempt, could never achieve this lofty goal; that is, for any set of axioms and inference rules proposed to encapsulate mathematics, there would in fact be some truths of mathematics which could not be deduced from them. One of the main inspirations and motivations for PM was the earlier work of Gottlob Frege on logic, which Russell discovered The title page of the shortened version of the Principia allowed for the construction of paradoxical sets. PM sought to Mathematica to *56 avoid this problem by ruling out the unrestricted creation of arbitrary sets. This was achieved by replacing the notion of a general set with notion of a hierarchy of sets of different 'types', a set of a certain type only allowed to contain sets of strictly lower types. Contemporary mathematics, however, avoids paradoxes such as Russell's in less unwieldy ways, such as the system of ZermeloFraenkel set theory.
Principia Mathematica PM is not to be confused with Russell's 1903 Principles of Mathematics. PM states: "The present work was originally intended by us to be comprised in a second volume of Principles of Mathematics... But as we advanced, it became increasingly evident that the subject is a very much larger one than we had supposed; moreover on many fundamental questions which had been left obscure and doubtful in the former work, we have now arrived at what we believe to be satisfactory solutions." The Modern Library placed it 23rd in a list of the top 100 English-language nonfiction books of the twentieth century.[2]
Principia Mathematica strings that have to be carried forward. Indeed, after the application of modus ponens, nothing is left but the conclusion, the rest disappears forever. Contemporary theories often specify as their first axiom the classical or modus ponens or "the rule of detachment": A, A B B The symbol "" is usually written as a horizontal line, here "" means "implies". The symbols A and B are "stand-ins" for strings; this form of notation is called an "axiom schema" (i.e., there is a countable number of specific forms the notation could take). This can be read in a manner similar to IF-THEN but with a difference: given symbol string IF A and A implies B THEN B (and retain only B for further use). But the symbols have no "interpretation" (e.g., no "truth table" or "truth values" or "truth functions") and modus ponens proceeds mechanistically, by grammar alone.
Principia Mathematica occurrence of '. p ' [in other words, the symbols on the left disappear or can be erased]" (PM 1962:9). 8. The Use of Dots: See the section on notation. 9. Definitions: These use the "=" sign with "Df" at the right end. See the section on notation. 10. Summary of preceding statements: brief discussion of the primitive ideas "~ p" and "p q" and "" prefixed to a proposition. 11. Primitive propositions: the axioms or postulates. This was significantly modified in the 2nd edition. 12. Propositional functions: The notion of "proposition" was significantly modified in the 2nd edition, including the introduction of "atomic" propositions linked by logical signs to form "molecular" propositions, and the use of substitution of molecular propositions into atomic or molecular propositions to create new expressions. 13. The range of values and total variation. 14. Ambiguous assertion and the real variable: This and the next two sections were modified or abandoned in the 2nd edition. In particular, the distinction between the concepts defined in sections 15. Definition and the real variable and 16 Propositions connecting real and apparent variables was abandoned in the second edition. 17. Formal implication and formal equivalence. 18. Identity: See the section on notation. The symbol "=" indicates "predicate" or arithmetic equality. 19. Classes and relations. 20. Various descriptive functions of relations.
Primitive ideas
Cf. PM 1962:90-94, for the first edition: (1) Elementary propositions. (2) Elementary propositions of functions. (3) Assertion: introduces the notions of "truth" and "falsity". (4) Assertion of a propositional function. (5) Negation: "If p is any proposition, the proposition "not-p", or "p is false," will be represented by "~p" ". (6) Disjunction: "If p and q are any propositons, the proposition "p or q, i.e., "either p is true or q is true," where the alternatives are to be not mutually exclusive, will be represented by "p q" ". (cf. section B)
Principia Mathematica 1.72. If p and p are elementary propositional functions which take elementary propositions as arguments, p p is an elementary proposition. Pp Together with the "Introduction to the Second Edition", the second edition's Appendix A abandons the entire section 9. This includes six primitive propositions 9 through 9.15 together with the Axioms of reducibility. The revised theory is made difficult by the introduction of the Sheffer stroke ("|") to symbolize "incompatibility" (i.e., if both elementary propositions p and q are true, their "stroke" p | q is false), the contemporary logical NAND (not-AND). In the revised theory, the Introduction presents the notion of "atomic proposition", a "datum" that "belongs to the philosophical part of logic". These have no parts that are propositions and do not contain the notions "all" or "some". For example: "this is red", or "this is earlier than that". Such things can exist ad finitum, i.e., even an "infinite eunumeration" of them to replace "generality" (i.e., the notion of "for all").[9] PM then "advance[s] to molecular propositions" that are all linked by "the stroke". Definitions give equivalences for "~", "", "", and ".". The new introduction defines "elementary propositions" as atomic and molecular positions together. It then replaces all the primitive propositions 1.2 to 1.72 with a single primitive proposition framed in terms of the stroke: "If p, q, r are elementary propositions, given p and p|(q|r), we can infer r. This is a primitive proposition." The new introduction keeps the notation for "there exists" (now recast as "sometimes true") and "for all" (recast as "always true"). Appendix A strengths the notion of "matrix" or "predicative function" (a "primitive idea", PM 1962:164) and presents four new Primitive propositions as 8.18.13. 88. Multiplicative axiom 102. Axiom of infinity
10
Notation used in PM
One author[1] observes that "The notation in that work has been superseded by the subsequent development of logic during the 20th century, to the extent that the beginner has trouble reading PM at all"; while much of the symbolic content can be converted to modern notation, the original notation itself is "a subject of scholarly dispute", and some notation "embod[y] substantive logical doctrines so that it cannot simply be replaced by contemporary symbolism".[10] Kurt Gdel was harshly critical of the notation: "It is to be regretted that this first comprehensive and thorough-going presentation of a mathematical logic and the derivation of mathematics from it [is] so greatly lacking in formal precision in the foundations (contained in 121 of Principia [i.e., sections 15 (propositional logic), 814 (predicate logic with identity/equality), 20(introduction to set theory), and 21 (introduction to relations theory)]) that it represents in this respect a considerable step backwards as compared with Frege. What is missing, above all, is a precise statement of the syntax of the formalism. Syntactical considerations are omitted even in cases where they are necessary for the cogency of the proofs".[11] This is reflected in the example below of the symbols "p", "q", "r" and "" that can be formed into the string "p q r". PM requires a definition of what this symbol-string means in terms of other symbols; in contemporary treatments the "formation rules" (syntactical rules leading to "well formed formulas") would have prevented the formation of this string. Source of the notation: Chapter I "Preliminary Explanations of Ideas and Notations" begins with the source of the notation: "The notation adopted in the present work is based upon that of Peano, and the following explanations are to some extent modelled on those which he prefixes to his Formulario Mathematico [i.e., Peano 1889]. His use of dots as brackets is adopted, and so are many of his symbols" (PM 1927:4).[12] PM adopts the assertion sign "" from Frege's 1879 Begriffsschrift:[13]
Principia Mathematica "(I)t may be read 'it is true that'"[14] Thus to assert a proposition p PM writes: ". p." (PM 1927:92) (Observe that, as in the original, the left dot is square and of greater size than the period on the right.)
11
Principia Mathematica
12
Principia Mathematica Contemporary notation: x((x) (x)) (or a variant) PM attributes the first symbolism to Peano. Section 11 applies this symbolism to two variables. Thus the following notations: x, y, x, y could all appear in a single formula. Section 12 reintroduces the notion of "matrix" (contemporary truth table), the notion of logical types, and in particular the notions of first-order and second-order functions and propositions. New symbolism " ! x" represents any value of a first-order function. If a circumflex "" is placed over a variable, then this is an "individual" value of y, meaning that "" indicates "individuals" (e.g., a row in a truth table); this distinction is necessary because of the matrix/extensional nature of propositional functions. Now equipped with the matrix notion, PM can assert its controversial axiom of reducibility: a function of one or two variables (two being sufficient for PM 's use) where all its values are given (i.e., in its matrix) is (logically) equivalent ("") to some "predicative" function of the same variables. The one-variable definition is given below as an illustration of the notation (PM 1962:166-167): 12.1 : ( f): x .x. f ! x Pp; Pp is a "Primitive proposition" ("Propositions assumed without proof") (PM 1962:12, i.e., contemporary "axioms"), adding to the 7 defined in section 1 (starting with 1.1 modus ponens). These are to be distinguished from the "primitive ideas" that include the assertion sign "", negation "~", logical OR "V", the notions of "elementary proposition" and "elementary propositional function"; these are as close as PM comes to rules of notational formation, i.e., syntax. This means: "We assert the truth of the following: There exists a function f with the property that: given all values of x, their evaluations in function (i.e., resulting their matrix) is logically equivalent to some f evaluated at those same values of x. (and vice versa, hence logical equivalence)". In other words: given a matrix determined by property applied to variable x, there exists a function f that, when applied to the x is logically equivalent to the matrix. Or: every matrix x can be represented by a function f applied to x, and vice versa. 13: The identity operator "=" : This is a definition that uses the sign in two different ways, as noted by the quote from PM: 13.01. x = y .=: (): ! x . . ! y Df means: "This definition states that x and y are to be called identical when every predicative function satisfied by x is also satisfied by y ... Note that the second sign of equality in the above definition is combined with "Df", and thus is not really the same symbol as the sign of equality which is defined." The not-equals sign "" makes its appearance as a definition at 13.02. 14: Descriptions: "A description is a phrase of the form "the term y which satisfies , where is some function satisfied by one and only one argument."[18] From this PM employes two new symbols, a forward "E" and an inverted iota "". Here is an example: 14.02. E ! ( y) (y) .=: ( b):y . y . y = b Df. This has the meaning: "The y satisfying exists," which holds when, and only when is satisfied by one value of y and by no other value." (PM 1967:173-174)
13
Principia Mathematica
14
Principia Mathematica functions classes, for we have, in virtue of the above, x x x .. (x). = . ". Observe the change to the equality "=" sign on the right. PM goes on to state that will continue to hang onto the notation "(z)", but this is merely equivalent to , and this is a class. (all quotes: PM 1962:xxxix).
15
Principia Mathematica assumption" (PM 2nd Edition p.401, Appendix C). This new proposal resulted in a dire outcome. An "extensional stance" and restriction to a second-order predicate logic means that a propositional function extended to all individuals such as "All 'x' are blue" now has to list all of the 'x' that satisfy (are true in) the proposition, listing them in a possibly infinite conjunction: e.g. x1 V x2 V . . . V xn V . . .. Ironically, this change came about as the result of criticism from Wittgenstein in his 1919 Tractatus Logico-Philosophicus. As described by Russell in the Preface to the 2nd edition of PM: "There is another course, recommended by Wittgenstein (Tractatus Logico-Philosophicus, *5.54ff) for philosophical reasons. This is to assume that functions of propositions are always truth-functions, and that a function can only occur in a proposition through its values. . . . [Working through the consequences] it appears that everything in Vol. I remains true . . . the theory of inductive cardinals and ordinals survives; but it seems that the theory of infinite Dedekindian and well-ordered series largely collapses, so that irrationals, and real numbers generally, can no longer be adequately dealt with. Also Cantor's proof that 2n > n breaks down unless n is finite." (PM 2nd edition reprinted 1962:xiv, also cf new Appendix C). In other words, the fact that an infinite list cannot realistically be specified means that the concept of "number" in the infinite sense (i.e. the continuum) cannot be described by the new theory proposed in PM Second Edition. Wittgenstein in his Lectures on the Foundations of Mathematics, Cambridge 1939 criticised Principia on various grounds, such as: It purports to reveal the fundamental basis for arithmetic. However, it is our everyday arithmetical practices such as counting which are fundamental; for if a persistent discrepancy arose between counting and Principia, this would be treated as evidence of an error in Principia (e.g., that Principia did not characterize numbers or addition correctly), not as evidence of an error in everyday counting. The calculating methods in Principia can only be used in practice with very small numbers. To calculate using large numbers (e.g., billions), the formulae would become too long, and some short-cut method would have to be used, which would no doubt rely on everyday techniques such as counting (or else on non-fundamental and hence questionable methods such as induction). So again Principia depends on everyday techniques, not vice versa. Wittgenstein did, however, concede that Principia may nonetheless make some aspects of everyday arithmetic clearer.
16
Gdel 1944
In his 1944 Russell's mathematical logic, Gdel offers a "critical but sympathetic discussion of the logicistic order of ideas"[22]: "It is to be regretted that this first comprehensive and thorough-going presentation of a mathematical logic and the derivation of mathematics from it [is] so greatly lacking in formal precision in the foundations (contained in *1-*21 of Principia) that it represents in this respect a considerable step backwards as compared with Frege. What is missing, above all, is a precise statement of the syntax of the formalism. Syntactical considerations are omitted even in cases where they are necessary for the cogency of the proofs . . . The matter is especially doubtful for the rule of substitution and of replacing defined symbols by their definiens . . . it is chiefly the rule of substitution which would have to be proved" (Gdel 1944:124)[23]
Principia Mathematica
17
Quotations
"From this proposition it will follow, when arithmetical addition has been defined, that 1+1=2." Volume I, 1st edition, page 379 [24] (page 362 in 2nd edition; page 360 in abridged version). (The proof is actually completed in Volume II, 1st edition, page 86 [25], accompanied by the comment, "The above proposition is occasionally useful.")
Footnotes
[1] Irvine, Andrew D. (2003-05-01). "Principia Mathematica (Stanford Encyclopedia of Philosophy)" (http:/ / plato. stanford. edu/ entries/ principia-mathematica/ #SOPM). Metaphysics Research Lab, CSLI, Stanford University. . Retrieved 2009-08-05. [2] "The Modern Library's Top 100 Nonfiction Books of the Century" (http:/ / www. nytimes. com/ library/ books/ 042999best-nonfiction-list. html). The New York Times Company. 1999-04-30. . Retrieved 2009-08-05. [3] This set is taken from Kleene 1952:69 substituting for . [4] Kleene 1952:71, Enderton 2001:15 [5] Enderton 2001:16 [6] This is the word used by Kleene 1952:78 [7] Quote from Kleene 1952:45. See discussion LOGICISM at pages 43-46. [8] In his section 8.5.4 Groping towards metalogic Grattain-Guiness 2000:454ff discusses the American logicians' critical reception of the second edition of PM. For instance Sheffer "puzzled that ' In order to give an account of logic, we must presuppose and employ logic ' " (p. 452). And Bernstein ended his 1926 review with the comment that "This distinction between the propositional logic as a mathematical system and as a language must be made, if serious errors are to be avoided; this distinction the Principia does not make" (p.454). [9] This idea is due to Wittgenstein's Tractatus. See the discussion at PM 1962:xivxv) [10] http:/ / plato. stanford. edu/ entries/ pm-notation/ [11] Kurt Gdel 1944 "Russell's mathematical logic" appearing at page 120 in Feferman et. al. 1990 Kurt Gdel Collected Works Volume II, Oxford University Press, NY, ISBN 978-0-19-514721-6([Link].) . [12] For comparison, see the translated portion of Peano 1889 in van Heijenoort 1967:81ff. About the only major change I can see is the substitution of for as used by Peano. [13] This work can be found at van Heijenoort 1967:1ff. [14] And see footnote, both at PM 1927:92 [15] The original typography is a square of a heavier weight than the conventional period. [16] The first example comes from [Link] ([Link].). [17] page xiii of 1927 appearing in the 1962 paperback edition to 56. [18] The original typography employs an x with a circumflex rather than ; this continues below [19] See the ten postulates of Huntington, in particular postulates IIa and IIb at PM 1962:205 and discussion at page 206. [20] The "" sign has a dot inside it, and the intersection sign "" has a dot above it; these are not available in the Arial Unicode MS font. [21] Wiener 1914 "A simplification of the logic of relations" (van Hejenoort 1967:224ff) disposed of the second of these when he showed how to reduce the theory of relations to that of classes [22] Kleene 1952:46. [23] Gdel 1944 Russell's mathematical logic in Kurt Gdel: Collected Works Volume II, Oxford University Press, New York, NY, ISBN 0-19-514721 . [24] http:/ / quod. lib. umich. edu/ cgi/ t/ text/ pageviewer-idx?c=umhistmath& cc=umhistmath& idno=aat3201. 0001. 001& frm=frameset& view=image& seq=401
Principia Mathematica
[25] http:/ / quod. lib. umich. edu/ cgi/ t/ text/ pageviewer-idx?c=umhistmath& cc=umhistmath& idno=aat3201. 0002. 001& frm=frameset& view=image& seq=126
18
References
Primary: Whitehead, Alfred North, and Bertrand Russell. Principia Mathematica, 3 vols, Cambridge University Press, 1910, 1912, and 1913. Second edition, 1925 (Vol. 1), 1927 (Vols 2, 3). Abridged as Principia Mathematica to *56, Cambridge University Press, 1962. Alfred North Whitehead; Bertrand Russell (February 2009). Principia Mathematica. Volume One. Merchant Books. ISBN978-1-60386-182-3. Alfred North Whitehead; Bertrand Russell (February 2009). Principia Mathematica. Volume Two. Merchant Books. ISBN978-1-60386-183-0. Alfred North Whitehead; Bertrand Russell (February 2009). Principia Mathematica. Volume Three. Merchant Books. ISBN978-1-60386-184-7. Secondary: Stephen Kleene 1952 Introduction to Meta-Mathematics, 6th Reprint, North-Holland Publishing Company, Amsterdam NY, ISBN 0-7204-2103-9. Stephen Cole Kleene; Michael Beeson (March 2009). Introduction to Metamathematics (Paperback ed.). Ishi Press. ISBN978-0-923891-57-2. Ivor Grattan-Guinness (2000) The Search for Mathematical Roots 1870-1940, Princeton University Press, Princeton N.J., ISBN 0-691-05857-1 (alk. paper). Ludwig Wittgenstein 2009 Major Works: Selected Philosophical Writings, HarperrCollins, NY, NY, ISBN 978-0-06-155024-9. In particular: Tractatus Logico-Philosophicus (Vienna 1918, original publication in German). Jean van Heijenoort editor 1967 From Frege to Gdel: A Source book in Mathematical Logic, 1879-1931, 3rd printing, Harvard University Press, Cambridge MA, ISBN 0-674-32449-8 (pbk.)
External links
Stanford Encyclopedia of Philosophy: Principia Mathematica ([Link] A. D. Irvine. The Notation in Principia Mathematica ([Link] Bernard Linsky. Principia Mathematica online (University of Michigan Historical Math Collection): Volume I ([Link] Volume II ([Link] Volume III ([Link] Proposition 54.43 ([Link] in a more modern notation (Metamath)
Koch snowflake
19
Koch snowflake
The Koch snowflake (also known as the Koch star and Koch island[1]) is a mathematical curve and one of the earliest fractal curves to have been described. It is based on the Koch curve, which appeared in a 1904 paper titled "On a continuous curve without tangents, constructible from elementary geometry" (original French title: Sur une courbe continue sans tangente, obtenue par une construction gomtrique lmentaire) by the Swedish mathematician Helge von Koch.
Construction
The Koch snowflake can be constructed by starting with an equilateral triangle, then recursively altering each line segment as follows: 1. divide the line segment into three segments of equal length. 2. draw an equilateral triangle that has the middle segment from step 1 as its base and points outward. 3. remove the line segment that is the base of the triangle from step 2. After one iteration of this process, the resulting shape is the outline of a hexagram. The Koch snowflake is the limit approached as the above steps are followed over and over again. The Koch curve originally described by Koch is constructed with only one of the three sides of the original triangle. In other words, three Koch curves make a Koch snowflake.
Properties
The Koch curve has an infinite length because each time the steps above are performed on each line segment of
The first seven iterations in animation
the
figure
there
are
four
times
as
many
line
Koch snowflake
20
segments, the length of each being one-third the length of the segments in the previous stage. Hence, the total length increases by one third and thus the length at step n will be (4/3)n of the original triangle perimeter: the fractal dimension is log 4/log 3 1.26186, greater than the dimension of a line (1) but less than Peano's space-filling curve (2). The Koch curve is continuous everywhere but differentiable nowhere.
The Koch curve
. The
side length of each successive small triangle is 1/3 of those in the previous iteration; because the area of the added triangles is proportional to the square of its side length, the area of each triangle added in the nth step is 1/9 of that in the (n-1)th step. In each iteration after the first, 4 times as many triangles are added as in the previous iteration; because the first iteration adds 3 triangles then the nth iteration will add triangles. Combining these two formulae gives the iteration formula:
where
In the limit, as n goes to infinity, the limit of the sum of the powers of 4/9 is 4/5, so
So the area of a Koch snowflake is 8/5 of the area of the original triangle, or perimeter of the Koch triangle encloses a finite area. It is possible to tessellate the plane by copies of Koch snowflakes in two different sizes. However, such a tessellation is not possible using only snowflakes of the same size as each other. Since each Koch snowflake in the tessellation can be subdivided into seven smaller snowflakes of two different sizes, it is also possible to find tessellations that use more than two sizes at once.[3]
21
The first 2 iterations. Its fractal dimension equals 1.5 and is exactly half-way between dimension 1 and 2. It is therefore often chosen when studying the physical properties of non-integer fractal objects.
Koch snowflake
22
Quadratic flake 1D, ln 3.33/ln (5) Another variation. Its fractal dimension equals ln 3.33/ln (5)=1.49.
The first 3 iterations of a natural extension of the Koch curve in 2 dimensions von Koch surface
Koch snowflake
23
Extension of the quadratic type 1 curve. The illustration at left shows the fractal after the second iteration
2D, 90 angle
Animation quadratic surface . 2D, 90 angle Extension of the quadratic type 2 curve. The illustration at left shows the fractal after the first iteration.
Quadratic type 2 surface 3D, spheres Eric Haines has developed the sphereflake fractal, which is a three-dimensional version of the Koch snowflake, using spheres.
Koch snowflake
24
References
[1] Addison, Paul S. Fractals and Chaos - An Illustrated Course. Institute of Physics (IoP) Publishing (1997) ISBN 0-7503-0400-6 - Page 19 [2] Koch Snowflake (http:/ / ecademy. agnesscott. edu/ ~lriddle/ ifs/ ksnow/ ksnow. htm) [3] Burns, Aidan (1994), "78.13 Fractal tilings", Mathematical Gazette 78 (482): 193196, JSTOR3618577.
Edward Kasner & James Newman, Mathematics and the Imagination Dover Press reprint of Simon & Schuster (1940) ISBN 0-486-41703-4, pp 34451.
External links
von Koch Curve ([Link] The Koch snowflake in Mathworld ([Link] Application of the Koch curve to an antenna ([Link] Koch/ [Link]) "A mathematical analysis of the Koch curve and quadratic Koch curve" ([Link] handle/10210/1941/[Link]?sequence=2) (pdf). Retrieved 22 November 2011.
Axiom of choice
In mathematics, the axiom of choice, or AC, is an axiom of set theory equivalent to the statement that "the product of a collection of non-empty sets is non-empty". More explicitly, it states that for every indexed family of nonempty sets there exists an indexed family of elements such that for every . The axiom of choice was formulated in 1904 by Ernst Zermelo in order to formalize his proof of the well-ordering theorem.[1] Informally put, the axiom of choice says that given any collection of bins, each containing at least one object, it is possible to make a selection of exactly one object from each bin. In many cases such a selection can be made without invoking the axiom of choice; this is in particular the case if the number of bins is finite, or if a selection rule is available: a distinguishing property that happens to hold for exactly one object in each bin. For example for any (even infinite) collection of pairs of shoes, one can pick out the left shoe from each pair to obtain an appropriate selection, but for an infinite collection of pairs of socks (assumed to have no distinguishing features), such a selection can be obtained only by invoking the axiom of choice. Although originally controversial, the axiom of choice is now used without reservation by most mathematicians,[2] and it is included in ZFC, the standard form of axiomatic set theory. One motivation for this use is that a number of generally accepted mathematical results, such as Tychonoff's theorem, require the axiom of choice for their proofs. Contemporary set theorists also study axioms that are not compatible with the axiom of choice, such as the axiom of determinacy. The axiom of choice is avoided in some varieties of constructive mathematics, although there are varieties of constructive mathematics in which the axiom of choice is embraced.
Statement
A choice function is a function f, defined on a collection X of nonempty sets, such that for every set s in X, f(s) is an element of s. With this concept, the axiom can be stated: For any set X of nonempty sets, there exists a choice function f defined on X. Thus the negation of the axiom of choice states that there exists a set of nonempty sets which has no choice function. Each choice function on a collection X of nonempty sets is an element of the Cartesian product of the sets in X. This is not the most general situation of a Cartesian product of a family of sets, where a same set can occur more than once as a factor; however, one can focus on elements of such a product that select the same element every time a given set appears as factor, and such elements correspond to an element of the Cartesian product of all distinct sets in
Axiom of choice the family. The axiom of choice asserts the existence of such elements; it is therefore equivalent to: Given any family of nonempty sets, their Cartesian product is a nonempty set.
25
Variants
There are many other equivalent statements of the axiom of choice. These are equivalent in the sense that, in the presence of other basic axioms of set theory, they imply the axiom of choice and are implied by it. One variation avoids the use of choice functions by, in effect, replacing each choice function with its range. Given any set X of pairwise disjoint non-empty sets, there exists at least one set C that contains exactly one element in common with each of the sets in X.[3] This guarantees for any partition of a set X the existence of a subset C of X containing exactly one element from each part of the partition. Another equivalent axiom only considers collections X that are essentially powersets of other sets: For any set A, the power set of A (with the empty set removed) has a choice function. Authors who use this formulation often speak of the choice function on A, but be advised that this is a slightly different notion of choice function. Its domain is the powerset of A (with the empty set removed), and so makes sense for any set A, whereas with the definition used elsewhere in this article, the domain of a choice function on a collection of sets is that collection, and so only makes sense for sets of sets. With this alternate notion of choice function, the axiom of choice can be compactly stated as Every set has a choice function.[4] which is equivalent to For any set A there is a function f such that for any non-empty subset B of A, f(B) lies in B. The negation of the axiom can thus be expressed as: There is a set A such that for all functions f (on the set of non-empty subsets of A), there is a B such that f(B) does not lie in B.
Axiom of choice
26
Usage
Until the late 19th century, the axiom of choice was often used implicitly, although it had not yet been formally stated. For example, after having established that the set X contains only non-empty sets, a mathematician might have said "let F(s) be one of the members of s for all s in X." In general, it is impossible to prove that F exists without the axiom of choice, but this seems to have gone unnoticed until Zermelo. Not every situation requires the axiom of choice. For finite sets X, the axiom of choice follows from the other axioms of set theory. In that case it is equivalent to saying that if we have several (a finite number of) boxes, each containing at least one item, then we can choose exactly one item from each box. Clearly we can do this: We start at the first box, choose an item; go to the second box, choose an item; and so on. The number of boxes is finite, so eventually our choice procedure comes to an end. The result is an explicit choice function: a function that takes the first box to the first element we chose, the second box to the second element we chose, and so on. (A formal proof for all finite sets would use the principle of mathematical induction to prove "for every natural number k, every family of k nonempty sets has a choice function.") This method cannot, however, be used to show that every countable family of nonempty sets has a choice function, as is asserted by the axiom of countable choice. If the method is applied to an infinite sequence (Xi : i) of nonempty sets, a function is obtained at each finite stage, but there is no stage at which a choice function for the entire family is constructed, and no "limiting" choice function can be constructed, in general, in ZF without the axiom of choice.
Examples
The nature of the individual nonempty sets in the collection may make it possible to avoid the axiom of choice even for certain infinite collections. For example, suppose that each member of the collection X is a nonempty subset of the natural numbers. Every such subset has a smallest element, so to specify our choice function we can simply say that it maps each set to the least element of that set. This gives us a definite choice of an element from each set, and makes it unnecessary to apply the axiom of choice. The difficulty appears when there is no natural choice of elements from each set. If we cannot make explicit choices, how do we know that our set exists? For example, suppose that X is the set of all non-empty subsets of the real numbers. First we might try to proceed as if X were finite. If we try to choose an element from each set, then, because X is infinite, our choice procedure will never come to an end, and consequently, we will never be able to produce a choice function for all of X. Next we might try specifying the least element from each set. But some subsets of the real numbers do not have least elements. For example, the open interval (0,1) does not have a least element: if x is in (0,1), then so is x/2, and x/2 is always strictly smaller than x. So this attempt also fails. Additionally, consider for instance the unit circle S, and the action on S by a group G consisting of all rational rotations. Namely, these are rotations by angles which are rational multiples of . Here G is countable while S is uncountable. Hence S breaks up into uncountably many orbits under G. Using the axiom of choice, we could pick a single point from each orbit, obtaining an uncountable subset X of S with the property that all of its translates by G are disjoint from X. The set of those translates partitions the circle into a countable collection of disjoint sets, which are all pairwise congruent. Since X isn't measurable for any rotation-invariant countably additive finite measure on S, finding an algorithm to select a point in each orbit requires the axiom of choice. See non-measurable set for more details. The reason that we are able to choose least elements from subsets of the natural numbers is the fact that the natural numbers are well-ordered: every nonempty subset of the natural numbers has a unique least element under the natural ordering. One might say, "Even though the usual ordering of the real numbers does not work, it may be possible to find a different ordering of the real numbers which is a well-ordering. Then our choice function can choose the least element of every set under our unusual ordering." The problem then becomes that of constructing a well-ordering, which turns out to require the axiom of choice for its existence; every set can be well-ordered if and
27
In constructive mathematics
As discussed above, in ZFC, the axiom of choice is able to provide "nonconstructive proofs" in which the existence of an object is proved although no explicit example is constructed. ZFC, however, is still formalized in classical logic. The axiom of choice has also been thoroughly studied in the context of constructive mathematics, where non-classical logic is employed. The status of the axiom of choice varies between different varieties of constructive mathematics. In Martin-Lf type theory and higher-order Heyting arithmetic, the appropriate statement of the axiom of choice is (depending on approach) included as an axiom or provable as a theorem.[6] Errett Bishop argued that the axiom of choice was constructively acceptable, saying "A choice function exists in constructive mathematics, because a choice is implied by the very meaning of existence."[7]
Axiom of choice In constructive set theory, however, Diaconescu's theorem shows that the axiom of choice implies the law of the excluded middle (unlike in Martin-Lf type theory, where it does not). Thus the axiom of choice is not generally available in constructive set theory. A cause for this difference is that the axiom of choice in type theory does not have the extensionality properties that the axiom of choice in constructive set theory does.[8] Some results in constructive set theory use the axiom of countable choice or the axiom of dependent choice, which do not imply the law of the excluded middle in constructive set theory. Although the axiom of countable choice in particular is commonly used in constructive mathematics, its use has also been questioned.[9]
28
Independence
Assuming ZF is consistent, Kurt Gdel showed that the negation of the axiom of choice is not a theorem of ZF by constructing an inner model (the constructible universe) which satisfies ZFC and thus showing that ZFC is consistent. Assuming ZF is consistent, Paul Cohen employed the technique of forcing, developed for this purpose, to show that the axiom of choice itself is not a theorem of ZF by constructing a much more complex model which satisfies ZFC (ZF with the negation of AC added as axiom) and thus showing that ZFC is consistent. Together these results establish that the axiom of choice is logically independent of ZF. The assumption that ZF is consistent is harmless because adding another axiom to an already inconsistent system cannot make the situation worse. Because of independence, the decision whether to use of the axiom of choice (or its negation) in a proof cannot be made by appeal to other axioms of set theory. The decision must be made on other grounds. One argument given in favor of using the axiom of choice is that it is convenient to use it because it allows one to prove some simplifying propositions that otherwise could not be proved. Many theorems which are provable using choice are of an elegant general character: every ideal in a ring is contained in a maximal ideal, every vector space has a basis, and every product of compact spaces is compact. Without the axiom of choice, these theorems may not hold for mathematical objects of large cardinality. The proof of the independence result also shows that a wide class of mathematical statements, including all statements that can be phrased in the language of Peano arithmetic, are provable in ZF if and only if they are provable in ZFC.[10] Statements in this class include the statement that P = NP, the Riemann hypothesis, and many other unsolved mathematical problems. When one attempts to solve problems in this class, it makes no difference whether ZF or ZFC is employed if the only question is the existence of a proof. It is possible, however, that there is a shorter proof of a theorem from ZFC than from ZF. The axiom of choice is not the only significant statement which is independent of ZF. For example, the generalized continuum hypothesis (GCH) is not only independent of ZF, but also independent of ZFC. However, ZF plus GCH implies AC, making GCH a strictly stronger claim than AC, even though they are both independent of ZF.
Stronger axioms
The axiom of constructibility and the generalized continuum hypothesis both imply the axiom of choice, but are strictly stronger than it. In class theories such as Von NeumannBernaysGdel set theory and MorseKelley set theory, there is a possible axiom called the axiom of global choice which is stronger than the axiom of choice for sets because it also applies to proper classes. And the axiom of global choice follows from the axiom of limitation of size.
Axiom of choice
29
Equivalents
There are important statements that, assuming the axioms of ZF but neither AC nor AC, are equivalent to the axiom of choice. The most important among them are Zorn's lemma and the well-ordering theorem. In fact, Zermelo initially introduced the axiom of choice in order to formalize his proof of the well-ordering theorem. Set theory Well-ordering theorem: Every set can be well-ordered. Consequently, every cardinal has an initial ordinal. Tarski's theorem: For every infinite set A, there is a bijective map between the sets A and AA. Trichotomy: If two sets are given, then either they have the same cardinality, or one has a smaller cardinality than the other. The Cartesian product of any family of nonempty sets is nonempty. Knig's theorem: Colloquially, the sum of a sequence of cardinals is strictly less than the product of a sequence of larger cardinals. (The reason for the term "colloquially", is that the sum or product of a "sequence" of cardinals cannot be defined without some aspect of the axiom of choice.) Every surjective function has a right inverse. Order theory Zorn's lemma: Every non-empty partially ordered set in which every chain (i.e. totally ordered subset) has an upper bound contains at least one maximal element. Hausdorff maximal principle: In any partially ordered set, every totally ordered subset is contained in a maximal totally ordered subset. The restricted principle "Every partially ordered set has a maximal totally ordered subset" is also equivalent to AC over ZF. Tukey's lemma: Every non-empty collection of finite character has a maximal element with respect to inclusion. Antichain principle: Every partially ordered set has a maximal antichain. Abstract algebra Every vector space has a basis.[11] Every unital ring other than the trivial ring contains a maximal ideal. For every non-empty set S there is a binary operation defined on S that makes it a group.[12] (A cancellative binary operation is enough.) Functional analysis The closed unit ball of the dual of a normed vector space over the reals has an extreme point. General topology Tychonoff's theorem stating that every product of compact topological spaces is compact. In the product topology, the closure of a product of subsets is equal to the product of the closures. Mathematical logic If S is a set of sentences of first-order logic and B is a consistent subset of S, then B is included in a set that is maximal among consistent subsets of S. The special case where S is the set of all first-order sentences in a given signature is weaker, equivalent to the Boolean prime ideal theorem; see the section "Weaker forms" below.
Axiom of choice
30
Category theory
There are several results in category theory which invoke the axiom of choice for their proof. These results might be weaker than, equivalent to, or stronger than the axiom of choice, depending on the strength of the technical foundations. For example, if one defines categories in terms of sets, that is, as sets of objects and morphisms (usually called a small category), or even locally small categories, whose hom-objects are sets, then there is no category of all sets, and so it is difficult for a category-theoretic formulation to apply to all sets. On the other hand, other foundational descriptions of category theory are considerably stronger, and an identical category-theoretic statement of choice may be stronger than the standard formulation, la class theory, mentioned above. Examples of category-theoretic statements which require choice include: Every small category has a skeleton. If two small categories are weakly equivalent, then they are equivalent. Every continuous functor on a small-complete category which satisfies the appropriate solution set condition has a left-adjoint (the Freyd adjoint functor theorem).
Weaker forms
There are several weaker statements that are not equivalent to the axiom of choice, but are closely related. One example is the axiom of dependent choice (DC). A still weaker example is the axiom of countable choice (AC or CC), which states that a choice function exists for any countable set of nonempty sets. These axioms are sufficient for many proofs in elementary mathematical analysis, and are consistent with some principles, such as the Lebesgue measurability of all sets of reals, that are disprovable from the full axiom of choice. Other choice axioms weaker than axiom of choice include the Boolean prime ideal theorem and the axiom of uniformization. The former is equivalent in ZF to the existence of an ultrafilter containing each given filter, proved by Tarski in 1930.
Axiom of choice The NielsenSchreier theorem, that every subgroup of a free group is free. The additive groups of R and C are isomorphic.[13] and [14] Functional analysis The HahnBanach theorem in functional analysis, allowing the extension of linear functionals The theorem that every Hilbert space has an orthonormal basis. The BanachAlaoglu theorem about compactness of sets of functionals. The Baire category theorem about complete metric spaces, and its consequences, such as the open mapping theorem and the closed graph theorem. On every infinite-dimensional topological vector space there is a discontinuous linear map. General topology A uniform space is compact if and only if it is complete and totally bounded. Every Tychonoff space has a Stoneech compactification. Mathematical logic Gdel's completeness theorem for first-order logic: every consistent set of first-order sentences has a completion. That is, every consistent set of first-order sentences can be extended to a maximal consistent set.
31
Axiom of choice There exists a model of ZFC in which every set in Rn is measurable. Thus it is possible to exclude counterintuitive results like the BanachTarski paradox which are provable in ZFC. Furthermore, this is possible whilst assuming the Axiom of dependent choice, which is weaker than AC but sufficient to develop most of real analysis. In all models of ZFC, the generalized continuum hypothesis does not hold.
32
Quotes
"The Axiom of Choice is obviously true, the well-ordering principle obviously false, and who can tell about Zorn's lemma?" Jerry Bona This is a joke: although the three are all mathematically equivalent, many mathematicians find the axiom of choice to be intuitive, the well-ordering principle to be counterintuitive, and Zorn's lemma to be too complex for any intuition. "The Axiom of Choice is necessary to select a set from an infinite number of socks, but not an infinite number of shoes." Bertrand Russell The observation here is that one can define a function to select from an infinite number of pairs of shoes by stating for example, to choose the left shoe. Without the axiom of choice, one cannot assert that such a function exists for pairs of socks, because left and right socks are (presumably) indistinguishable from each other. "Tarski tried to publish his theorem [the equivalence between AC and 'every infinite set A has the same cardinality as AxA', see above] in Comptes Rendus, but Frchet and Lebesgue refused to present it. Frchet wrote that an implication between two well known [true] propositions is not a new result, and Lebesgue wrote that an implication between two false propositions is of no interest". Polish-American mathematician Jan Mycielski relates this anecdote in a 2006 article in the Notices of the AMS. "The axiom gets its name not because mathematicians prefer it to other axioms." A. K. Dewdney This quote comes from the famous April Fools' Day article in the computer recreations column of the Scientific American, April 1989.
Notes
[1] Zermelo, Ernst (1904). "Beweis, dass jede Menge wohlgeordnet werden kann" (http:/ / gdz. sub. uni-goettingen. de/ no_cache/ en/ dms/ load/ img/ ?IDDOC=28526) (reprint). Mathematische Annalen 59 (4): 51416. doi:10.1007/BF01445300. . [2] Jech, 1977, p. 348ff; Martin-Lf 2008, p. 210. [3] Herrlich, p. 9. [4] Patrick Suppes, "Axiomatic Set Theory", Dover, 1972 (1960), ISBN 0-486-61630-4, p. 240 [5] Tourlakis (2003), pp. 209210, 215216. [6] Per Martin-Lf, Intuitionistic type theory (http:/ / www. cs. cmu. edu/ afs/ cs/ Web/ People/ crary/ 819-f09/ Martin-Lof80. pd), 1980. Anne Sjerp Troelstra, Metamathematical investigation of intuitionistic arithmetic and analysis, Springer, 1973. [7] Errett Bishop and Douglas S. Bridges, Constructive analysis, Springer-Verlag, 1985. [8] Per Martin-Lf, "100 Years of Zermelos Axiom of Choice: What was the Problem with It?", The Computer Journal (2006) 49 (3): 345-350. doi: 10.1093/comjnl/bxh162 [9] Fred Richman, Constructive mathematics without choice, in: Reuniting the AntipodesConstructive and Nonstandard Views of the Continuum (P. Schuster et al., eds), Synthse Library 306, 199205, Kluwer Academic Publishers, Amsterdam, 2001. [10] This is because arithmetical statements are absolute to the constructible universe L. Shoenfield's absoluteness theorem gives a more general result. [11] Blass, Andreas (1984). "Existence of bases implies the axiom of choice". Contemporary mathematics 31. [12] A. Hajnal, A. Kertsz: Some new algebraic equivalents of the axiom of choice, Publ. Math. Debrecen, 19(1972), 339340, see also H. Rubin, J. Rubin, Equivalents of the axiom of choice, II, North-Holland, 1985, p. 111. [13] http:/ / www. cs. nyu. edu/ pipermail/ fom/ 2006-February/ 009959. html [14] http:/ / journals. cambridge. org/ action/ displayFulltext?type=1& fid=4931240& aid=4931232
Axiom of choice
[15] Axiom of dependent choice [16] Jech, Thomas (1973) "The axiom of choice", ISBN 0-444-10484-4, CH. 10, p. 142. [17] Stavi, Jonathan (1974). "A model of ZF with an infinite free complete Boolean algebra" (http:/ / www. springerlink. com/ content/ d5710380t753621u/ ) (reprint). Israel Journal of Mathematics 20 (2): 149163. doi:10.1007/BF02757883. .
33
References
Horst Herrlich, Axiom of Choice, Springer Lecture Notes in Mathematics 1876, Springer Verlag Berlin Heidelberg (2006). ISBN 3-540-30989-6. Paul Howard and Jean Rubin, "Consequences of the Axiom of Choice". Mathematical Surveys and Monographs 59; American Mathematical Society; 1998. Thomas Jech, "About the Axiom of Choice." Handbook of Mathematical Logic, John Barwise, ed., 1977. Per Martin-Lf, "100 years of Zermelo's axiom of choice: What was the problem with it?", in Logicism, Intuitionism, and Formalism: What Has Become of Them?, Sten Lindstrm, Erik Palmgren, Krister Segerberg, and Viggo Stoltenberg-Hansen, editors (2008). ISBN 1-4020-8925-2 Gregory H Moore, "Zermelo's axiom of choice, Its origins, development and influence", Springer; 1982. ISBN 0-387-90670-3 Herman Rubin, Jean E. Rubin: Equivalents of the axiom of choice. North Holland, 1963. Reissued by Elsevier, April 1970. ISBN 0-7204-2225-6. Herman Rubin, Jean E. Rubin: Equivalents of the Axiom of Choice II. North Holland/Elsevier, July 1985, ISBN 0-444-87708-8. George Tourlakis, Lectures in Logic and Set Theory. Vol. II: Set Theory, Cambridge University Press, 2003. ISBN 0-511-06659-7 Ernst Zermelo, "Untersuchungen ber die Grundlagen der Mengenlehre I," Mathematische Annalen 65: (1908) pp.26181. PDF download via [Link] ([Link] jkdigitools/loader/?tx_jkDigiTools_pi1[IDDOC]=361762) Translated in: Jean van Heijenoort, 2002. From Frege to Gdel: A Source Book in Mathematical Logic, 1879-1931. New edition. Harvard University Press. ISBN 0-674-32449-8 1904. "Proof that every set can be well-ordered," 139-41. 1908. "Investigations in the foundations of set theory I," 199-215.
External links
Hazewinkel, Michiel, ed. (2001), "Axiom of choice" ([Link] a014270), Encyclopedia of Mathematics, Springer, ISBN978-1-55608-010-4 Axiom of Choice and Its Equivalents at ProvenMath ([Link] includes formal statement of the Axiom of Choice, Hausdorff's Maximal Principle, Zorn's Lemma and formal proofs of their equivalence down to the finest detail. Consequences of the Axiom of Choice ([Link] html), based on the book by Paul Howard ([Link] and Jean Rubin. The Axiom of Choice ([Link] entry by John Lane Bell in the Stanford Encyclopedia of Philosophy
34
Jordan curve theorem This is proved by induction in k using the MayerVietoris sequence. When n = k, the zeroth reduced homology of Y has rank 1, which means that Y has 2 connected components (which are, moreover, path connected), and with a bit of extra work, one shows that their common boundary is X. A further generalization was found by J. W. Alexander, who established the Alexander duality between the reduced homology of a compact subset X of Rn+1 and the reduced cohomology of its complement. If X is an n-dimensional compact connected submanifold of Rn+1 (or Sn+1) without boundary, its complement has 2 connected components. There is a strengthening of the Jordan curve theorem, called the JordanSchnflies theorem, which states that the interior and the exterior planar regions determined by a Jordan curve in R2 are homeomorphic to the interior and exterior of the unit disk. In particular, for any point P in the interior region and a point A on the Jordan curve, there exists a Jordan arc connecting P with A and, with the exception of the endpoint A, completely lying in the interior region. An alternative and equivalent formulation of the JordanSchnflies theorem asserts that any Jordan curve : S1 R2, where S1 is viewed as the unit circle in the plane, can be extended to a homeomorphism : R2 R2 of the plane. Unlike Lebesgues' and Brouwer's generalization of the Jordan curve theorem, this statement becomes false in higher dimensions: while the exterior of the unit ball in R3 is simply connected, because it retracts onto the unit sphere, the Alexander horned sphere is a subset of R3 homeomorphic to a sphere, but so twisted in space that the unbounded component of its complement in R3 is not simply connected, and hence not homeomorphic to the exterior of the unit ball.
35
His proof, however, is unsatisfactory to many mathematicians. It assumes the theorem without proof in the important special case of a simple [2] polygon, and of the argument from that point on, one must admit at least that all details are not given.
Hales also pointed out that the special case of simple polygons is not only an easy exercise, but was not really used by Jordan anyway, and quoted Michael Reeken as saying:
Jordans proof is essentially correct... Jordans proof does not present the details in a satisfactory way. But the idea is right, and with some [4] polishing the proof would be impeccable.
Jordan's proof and another early proof by de la Valle-Poussin were later critically analyzed and completed by Shoenflies (1924). Due to the importance of the Jordan curve theorem in low-dimensional topology and complex analysis, it received much attention from prominent mathematicians of the first half of the 20th century. Various proofs of the theorem
Jordan curve theorem and its generalizations were constructed by J. W. Alexander, Louis Antoine, Bieberbach, Luitzen Brouwer, Denjoy, Hartogs, Kerkjrt, Alfred Pringsheim, and Schoenflies. Some new elementary proofs of the Jordan curve theorem, as well as simplifications of the earlier proofs, continue to be carried out. A short elementary proof of the Jordan curve theorem was presented by A. F. Filippov in 1950.[5] A proof using the Brouwer fixed point theorem by Maehara (1984). A proof using non-standard analysis by Narens (1971). A proof using constructive mathematics by Gordon O. Berg, W. Julian, and R. Mines et al.(1975). A proof using non-planarity of the complete bipartite graph K3,3 was given by Thomassen (1992). A simplification of the proof by Helge Tverberg.[6]
36
The first formal proof of the Jordan curve theorem was created by Hales (2007a) in the HOL Light system, in January 2005, and contained about 60,000 lines. Another rigorous 6,500-line formal proof was produced in 2005 by an international team of mathematicians using the Mizar system. Both the Mizar and the HOL Light proof rely on libraries of previously proved theorems, so these two sizes are not comparable. Nobuyuki Sakamoto and Keita Yokoyama(2007) showed that the Jordan curve theorem is equivalent in proof-theoretic strength to the weak Knig's lemma.
Notes
[1] [2] [3] [4] [5] Camille Jordan(1887) Oswald Veblen(1905) Hales (2007b) Ibid A. F. Filippov, An elementary proof of Jordan's theorem, Uspekhi Mat. Nauk, 5:5(39) (1950), 173176 (http:/ / www. mathnet. ru/ php/ archive. phtml?wshow=paper& jrnid=rm& paperid=8482& option_lang=eng) [6] Czes Kosniowski, A First Course in Algebraic Topology
References
Berg, Gordon O.; Julian, W.; Mines, R.; Richman, Fred (1975), "The constructive Jordan curve theorem", Rocky Mountain Journal of Mathematics 5 (2): 225236, doi:10.1216/RMJ-1975-5-2-225, ISSN0035-7596, MR0410701 Hales, Thomas C. (2007a), "The Jordan curve theorem, formally and informally", The American Mathematical Monthly 114 (10): 882894, ISSN0002-9890, MR2363054 Hales, Thomas (2007b), "Jordan's proof of the Jordan Curve theorem" ([Link] Studies in Logic, Grammar and Rhetoric 10 (23) Jordan, Camille (1887), Cours d'analyse ([Link] pp.587594 Maehara, Ryuji (1984), "The Jordan Curve Theorem Via the Brouwer Fixed Point Theorem", The American Mathematical Monthly (Mathematical Association of America) 91 (10): 641643, doi:10.2307/2323369, ISSN0002-9890, JSTOR2323369, MR0769530 Narens, Louis (1971), "A nonstandard proof of the Jordan curve theorem" ([Link] 1102971282), Pacific Journal of Mathematics 36: 219229, ISSN0030-8730, MR0276940 Osgood, William F. (1903), "A Jordan Curve of Positive Area", Transactions of the American Mathematical Society (Providence, R.I.: American Mathematical Society) 4 (1): 107112, ISSN0002-9947, JFM34.0533.02, JSTOR1986455 Ross, Fiona; Ross, William T. (2011), "The Jordan curve theorem is non-trivial" ([Link] doi/abs/10.1080/17513472.2011.634320), Journal of Mathematics and the Arts (Taylor & Francis) 5 (4): 213219, doi:10.1080/17513472.2011.634320. author's site ([Link] [Link])
Jordan curve theorem Sakamoto, Nobuyuki; Yokoyama, Keita (2007), "The Jordan curve theorem and the Schnflies theorem in weak second-order arithmetic", Archive for Mathematical Logic 46 (5): 465480, doi:10.1007/s00153-007-0050-6, ISSN0933-5846, MR2321588 Thomassen, Carsten (1992), "The JordanSchnflies theorem and the classification of surfaces", American Mathematical Monthly 99 (2): 116130, doi:10.2307/2324180, JSTOR2324180 Veblen, Oswald (1905), "Theory on Plane Curves in Non-Metrical Analysis Situs", Transactions of the American Mathematical Society (Providence, R.I.: American Mathematical Society) 6 (1): 8398, ISSN0002-9947, JSTOR1986378
37
External links
M.I. Voitsekhovskii (2001), "Jordan theorem" ([Link] j054370), in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN978-1-55608-010-4 The full 6,500 line formal proof of Jordan's curve theorem ([Link] 1112/html/[Link]) in Mizar. Collection of proofs of the Jordan curve theorem ([Link] at Andrew Ranicki's homepage A simple proof of Jordan curve theorem ([Link] (PDF) by David B. Gauld Application of the theorem in computer science - Determining If A Point Lies On The Interior Of A Polygon ([Link] by Paul Bourke
Special relativity
Special relativity (SR, also known as the special theory of relativity or STR) is the physical theory of measurement in an inertial frame of reference proposed in 1905 by Albert Einstein in the paper "On the Electrodynamics of Moving Bodies".[1] It extends Galileo's principle of relativitythat all uniform motion is relative, and that there is no absolute and well-defined state of rest (no privileged reference frames)to account for the constant speed of light[2]which was previously observed in the Michelson-Morley experimentand postulates that it holds for all the laws of physics, including both the laws of mechanics and of electrodynamics, whatever they may be.[3]
This theory has a wide range of consequences which have been experimentally verified,[4] including counter-intuitive ones such as length contraction, time dilation and relativity of simultaneity. It has replaced the classical notion of invariant time interval for two events with the notion of invariant space-time interval. Combined with other laws of physics, the two postulates of special relativity predict the equivalence of mass and energy, as expressed in the massenergy equivalence formula E=mc2, where c is the speed of light in vacuum.[5][6] The predictions of special relativity agree well with Newtonian mechanics in their common realm of applicability, specifically in experiments in which all velocities are small compared with the speed of light. Special relativity reveals that c is not just the velocity of a certain phenomenonnamely the propagation of electromagnetic radiation
Special relativity (light)but rather a fundamental feature of the way space and time are unified as spacetime. One of the consequences of the theory is that it is impossible for any particle that has rest mass to be accelerated to the speed of light. The theory was originally termed "special" because it applied the principle of relativity only to the special case of inertial reference frames, i.e. frames of reference in uniform relative motion with respect to each other.[7] Einstein developed general relativity to apply the principle in the more general case, that is, to any frame so as to handle general coordinate transformations, and that theory includes the effects of gravity. The term is currently used more generally to refer to any case in which gravitation is not significant. General relativity is the generalization of special relativity to include gravitation. In general relativity, gravity is described using noneuclidean geometry, so that gravitational effects are represented by curvature of spacetime; special relativity is restricted to flat spacetime. Just as the curvature of the earth's surface is not noticeable in everyday life, the curvature of spacetime can be neglected on small scales, so that locally, special relativity is a valid approximation to general relativity.[8] The presence of gravity becomes undetectable in a sufficiently small, free-falling laboratory.
38
Postulates
Reflections of this type made it clear to me as long ago as shortly after 1900, i.e., shortly after Planck's trailblazing work, that neither mechanics nor electrodynamics could (except in limiting cases) claim exact validity. Gradually I despaired of the possibility of discovering the true laws by means of constructive efforts based on known facts. The longer and the more desperately I tried, the more I came to the conviction that only the discovery of a universal formal principle could lead us to assured results... How, then, could such a universal principle be found?
[9]
Einstein discerned two fundamental propositions that seemed to be the most assured, regardless of the exact validity of the (then) known laws of either mechanics or electrodynamics. These propositions were the constancy of the speed of light and the independence of physical laws (especially the constancy of the speed of light) from the choice of inertial system. In his initial presentation of special relativity in 1905 he expressed these postulates as:[1] The Principle of Relativity The laws by which the states of physical systems undergo change are not affected, whether these changes of state be referred to the one or the other of two systems in uniform translatory motion relative to each other.[1] The Principle of Invariant Light Speed "... light is always propagated in empty space with a definite velocity [speed] c which is independent of the state of motion of the emitting body." (from the preface).[1] That is, light in vacuum propagates with the speed c (a fixed constant, independent of direction) in at least one system of inertial coordinates (the "stationary system"), regardless of the state of motion of the light source. The derivation of special relativity depends not only on these two explicit postulates, but also on several tacit assumptions (made in almost all theories of physics), including the isotropy and homogeneity of space and the independence of measuring rods and clocks from their past history.[10] Following Einstein's original presentation of special relativity in 1905, many different sets of postulates have been proposed in various alternative derivations.[11] However, the most common set of postulates remains those employed by Einstein in his original paper. A more mathematical statement of the Principle of Relativity made later by Einstein, which introduces the concept of simplicity not mentioned above is: Special principle of relativity: If a system of coordinates K is chosen so that, in relation to it, physical laws hold good in their simplest form, the same laws hold good in relation to any other system of coordinates K' moving in uniform translation relatively to K.[12]
Special relativity Henri Poincar provided the mathematical framework for relativity theory by proving that Lorentz transformations are a subset of his Poincar group of symmetry transformations. Einstein later derived these transformations from his axioms. Many of Einstein's papers present derivations of the Lorentz transformation based upon these two principles.[13] Einstein consistently based the derivation of Lorentz invariance (the essential core of special relativity) on just the two basic principles of relativity and light-speed invariance. He wrote: The insight fundamental for the special theory of relativity is this: The assumptions relativity and light speed invariance are compatible if relations of a new type ("Lorentz transformation") are postulated for the conversion of coordinates and times of events... The universal principle of the special theory of relativity is contained in the postulate: The laws of physics are invariant with respect to Lorentz transformations (for the transition from one inertial system to any other arbitrarily chosen inertial system). This is a restricting principle for natural laws...[9] Thus many modern treatments of special relativity base it on the single postulate of universal Lorentz covariance, or, equivalently, on the single postulate of Minkowski spacetime.[14][15] From the principle of relativity alone without assuming the constancy of the speed of light (i.e. using the isotropy of space and the symmetry implied by the principle of special relativity) one can show that the space-time transformations between inertial frames are either Euclidean, Galilean, or Lorentzian. In the Lorentzian case, one can then obtain relativistic interval conservation and a certain finite limiting speed. Experiments suggest that this speed is the speed of light in vacuum.[16][17] The constancy of the speed of light was motivated by Maxwell's theory of electromagnetism and the lack of evidence for the luminiferous ether. There is conflicting evidence on the extent to which Einstein was influenced by the null result of the MichelsonMorley experiment.[18][19] In any case, the null result of the MichelsonMorley experiment helped the notion of the constancy of the speed of light gain widespread and rapid acceptance.
39
Special relativity
40
where
is the Lorentz factor and c is the speed of light in vacuum, and the velocity v of S is parallel to the x-axis. The y and z coordinates are unaffected; only the x and t coordinates are transformed. These Lorentz transformations form a one-parameter group of linear mappings, that parameter being called rapidity. There is nothing special about the x-axis, the transformation can apply to the y or z axes, or indeed in any direction, which can be done by directions parallel to the motion (which are warped by the factor) and perpendicular; see
Special relativity main article for details. A quantity invariant under Lorentz transformations is known as a Lorentz scalar. Writing the Lorentz transformation and its inverse in terms of coordinate differences, where for instance one event has coordinates (x1, t1) and (x1, t1), another event has coordinates (x2, t2) and (x2, t2), and the differences are defined as
41
we get
These effects are not merely appearances; they are explicitly related to our way of measuring time intervals between events which occur at the same place in a given coordinate system (called "co-local" events). These time intervals will be different in another coordinate system moving with respect to the first, unless the events are also simultaneous. Similarly, these effects also relate to our measured distances between separated but simultaneous events in a given coordinate system of choice. If these events are not co-local, but are separated by distance (space), they will not occur at the same spatial distance from each other when seen from another moving coordinate system. However, the space-time interval will be the same for all observers. The underlying reality remains the same. Only our perspective changes.
Relativity of simultaneity
Two events happening in two different locations that occur simultaneously in the reference frame of one inertial observer, may occur non-simultaneously in the reference frame of another inertial observer (lack of absolute simultaneity). From the first equation of the Lorentz transformation in terms of coordinate differences
it is clear that two events that are simultaneous in frame S (satisfying t = 0), are not necessarily simultaneous in another inertial frame S (satisfying t = 0). Only if these events are colocal in frame S (satisfying x = 0), will they be simultaneous in another frame S.
Event B is simultaneous with A in the green reference frame, but it occurred before in the blue frame, and will occur later in the red frame.
Time dilation
The time lapse between two events is not invariant from one observer to another, but is dependent on the relative speeds of the observers' reference frames (e.g., the twin paradox which concerns a twin who flies off in a spaceship traveling near the speed of light and returns to discover that his or her twin sibling has aged much more).
Special relativity Suppose a clock is at rest in the unprimed system S. Two different ticks of this clock are then characterized by x = 0. To find the relation between the times between these ticks as measured in both systems, the first equation can be used to find: for events satisfying This shows that the time (t') between the two ticks as seen in the frame in which the clock is moving (S'), is longer than the time (t) between these ticks as measured in the rest frame of the clock (S). Time dilation explains a number of physical phenomena; for example, the decay rate of muons produced by cosmic rays impinging on the Earth's atmosphere.[21]
42
Length contraction
The dimensions (e.g., length) of an object as measured by one observer may be smaller than the results of measurements of the same object made by another observer (e.g., the ladder paradox involves a long ladder traveling near the speed of light and being contained within a smaller garage). Similarly, suppose a measuring rod is at rest and aligned along the x-axis in the unprimed system S. In this system, the length of this rod is written as x. To measure the length of this rod in the system S', in which the clock is moving, the distances x to the end points of the rod must be measured simultaneously in that system S'. In other words, the measurement is characterized by t = 0, which can be combined with the fourth equation to find the relation between the lengths x and x: for events satisfying This shows that the length (x') of the rod as measured in the frame in which it is moving (S'), is shorter than its length (x) in its own rest frame (S).
Composition of velocities
Velocities (and speeds) do not simply add. If the observer in S measures an object moving along the x axis at velocity u, then the observer in the S system, a frame of reference moving at velocity v in the x direction with respect to S, will measure the object moving with velocity u' where (from the Lorentz transformations above):
Notice that if the object were moving at the speed of light in the S system (i.e. u = c), then it would also be moving at the speed of light in the S system. Also, if both u and v are small with respect to the speed of light, we will recover the intuitive Galilean transformation of velocities . The usual example given is that of a train (frame S above) traveling due east with a velocity v with respect to the tracks (frame S). A child inside the train throws a baseball due east with a velocity u with respect to the train. In classical physics, an observer at rest on the tracks will measure the velocity of the baseball (due east) as u = u + v, while in special relativity this is no longer true; instead the velocity of the baseball (due east) is given by the second equation: u = (u + v)/(1 + uv/c2). Again, there is nothing special about the x or east directions. This formalism applies to any direction by considering parallel and perpendicular motion to the direction of relative velocity v, see main article for details.
Special relativity Einstein's addition of colinear velocities is consistent with the Fizeau experiment which determined the speed of light in a fluid moving parallel to the light, but no experiment has ever tested the formula for the general case of non-parallel velocities.
43
Other consequences
Thomas rotation
The orientation of an object (i.e. the alignment of its axes with the observer's axes) may be different for different observers. Unlike other relativistic effects, this effect becomes quite significant at fairly low velocities as can be seen in the spin of moving particles.
Special relativity
44
Therefore, if causality is to be preserved, one of the consequences of special relativity is that no information signal or material object can travel faster than light in vacuum. However, some "things" can still move faster than light. For example, the location where the beam of a search light hits the bottom of a cloud can move faster than light when the search light is turned rapidly.[31] Even without considerations of causality, there are other strong reasons why faster-than-light travel is forbidden by special relativity. For example, if a constant force is applied to an object for a limitless amount of time, then integrating F=dp/dt gives a momentum that grows without bound, but this is simply because approaches infinity as approaches c. To an observer who is not accelerating, it appears as though the object's inertia is increasing, so as to produce a smaller acceleration in response to the same force. This behavior is in fact observed in particle accelerators, where each charged particle is accelerated by the electromagnetic force.
Special relativity Theoretical and experimental tunneling studies carried out by Gnter Nimtz and Petrissa Eckle wrongly claimed that under special conditions signals may travel faster than light.[32][33][34][35] It was measured that fiber digital signals were traveling up to 5 times c and a zero-time tunneling electron carried the information that the atom is ionized, with photons, phonons and electrons spending zero time in the tunneling barrier. According to Nimtz and Eckle, in this superluminal process only the Einstein causality and the special relativity but not the primitive causality are violated: Superluminal propagation does not result in any kind of time travel.[36][37] Several scientists have stated not only that Nimtz' interpretations were erroneous, but also that the experiment actually provided a trivial experimental confirmation of the special relativity theory.[38][39][40]
45
Geometry of space-time
Comparison between flat Euclidean space and Minkowski space
Special relativity uses a 'flat' 4-dimensional Minkowski space an example of a space-time. Minkowski spacetime appears to be very similar to the standard 3-dimensional Euclidean space, but there is a crucial difference with respect to time. In 3D space, the differential of distance (line element) ds is defined by ,
Orthogonality and rotation of coordinate systems compared between left: Euclidean space where dx = (dx1, dx2, dx3) are the through circular angle , right: in Minkowski spacetime through hyperbolic angle (red differentials of the three spatial lines labelled c denote the worldlines of a light signal, a vector is orthogonal to itself if it [41] dimensions. In Minkowski geometry, lies on this line). there is an extra dimension with coordinate x0 derived from time, such that the distance differential fulfills
, where dx = (dx0, dx1, dx2, dx3) are the differentials of the four spacetime dimensions. This suggests a deep theoretical insight: special relativity is simply a rotational symmetry of our space-time, analogous to the rotational symmetry of Euclidean space (see image right).[42] Just as Euclidean space uses a Euclidean metric, so space-time uses a Minkowski metric. Basically, special relativity can be stated as the invariance of any space-time interval (that is the 4D distance between any two events) when viewed from any inertial reference frame. All equations and effects of special relativity can be derived from this rotational symmetry (the Poincar group) of Minkowski space-time. The actual form of ds above depends on the metric and on the choices for the x0 coordinate. To make the time coordinate look like the space coordinates, it can be treated as imaginary: x0 = ict (this is called a Wick rotation). According to Misner, Thorne and Wheeler (1971, 2.3), ultimately the deeper understanding of both special and general relativity will come from the study of the Minkowski metric (described below) and to take x0 = ct, rather than a "disguised" Euclidean metric using ict as the time coordinate. Some authors use x0 = t, with factors of c elsewhere to compensate; for instance, spatial coordinates are divided by c or factors of c2 are included in the metric tensor.[43] These numerous conventions can be superseded by using natural units where c = 1. Then space and time have equivalent units, and no factors of c appear anywhere.
Special relativity
46
3D spacetime
If we reduce the spatial dimensions to 2, so that we can represent the physics in a 3D space , we see that the null geodesics lie along a dual-cone (see image right) defined by the equation;
4D spacetime
If we extend this to three spatial dimensions, the null geodesics are the 4-dimensional cone:
so . This null dual-cone represents the "line of sight" of a point in space. That is, when we look at the stars and say "The light from that star which I am receiving is X years old", we are looking down this line of sight: a null geodesic. We are looking at an event a distance away and a time d/c in the past. For this
Null spherical space.
reason the null dual cone is also known as the 'light cone'. (The point in the lower left of the picture below represents the star, the origin represents the observer, and the line represents the null geodesic "line of sight".) The cone in the t region is the information that the point is 'receiving', while the cone in the +t section is the information that the point is 'sending'. The geometry of Minkowski space can be depicted using Minkowski diagrams, which are useful also in understanding many of the thought-experiments in special relativity.
Physics in spacetime
The equations of special relativity can be written in a manifestly covariant form. The position of an event in spacetime is given by a contravariant four vector with components: We define x0 = ct so that the time coordinate has the same dimension of distance as the other spatial dimensions; so that space and time are treated equally.[44][45][46] Superscripts are contravariant indices in this section rather than exponents except when they indicate a square (it should be clear from the context). Subscripts are covariant indices which also range from zero to three, as with the four-gradient of a scalar field :
Special relativity
47
which is simply the matrix of a boost (like a rotation) between the x and ct coordinates, where ' indicates the row and indicates the column, and
This can be generalized to a boost in any direction, and further to include rotations, at the cost of using spinors and gyrovectors, see Lorentz transformation for details. A transformation of a four-vector from one inertial frame to another (ignoring translations for simplicity) is given by the Lorentz transformation:
where there is an implied summation of ' and ' from 0 to 3. The inverse transformation is:
where
More generally, most physical quantities are best described as (components of) tensors. So to transform from one frame to another, we use the well-known tensor transformation law[47]
where
Metric
Given the four-dimensional nature of spacetime the Minkowski metric has components (valid in any inertial reference frame) which can be arranged in a 4 4 matrix:
, in those frames.
The Poincar group is the most general group of transformations which preserves the Minkowski metric
Special relativity
48
Invariance
The squared length of the differential of the position four-vector constructed using
is an invariant. Being invariant means that it takes the same value in all inertial frames, because it is a scalar (0 rank tensor), and so no appears in its trivial transformation. Notice that when the line element dx2 is negative that is the differential of proper time, while when dx2 is positive, (dx2) is differential of the proper distance. The primary value of expressing the equations of physics in a tensor form is that they are then manifestly invariant under the Poincar group, so that we do not have to do a special and tedious calculation to check that fact. Also in constructing such equations we often find that equations previously thought to be unrelated are, in fact, closely connected being part of the same tensor equation.
Recognising this, we can turn the awkward looking law about composition of velocities into a simple statement about transforming the velocity four-vector of one particle from one frame to another. U also has an invariant form:
So all velocity four-vectors have a magnitude of c. This is an expression of the fact that there is no such thing as being at coordinate rest in relativity: at the least, you are always moving forward through time. The acceleration 4-vector is given by
So in relativity, the acceleration four-vector and the velocity four-vector are orthogonal.
Momentum in 4D
The momentum and energy combine into a covariant 4-vector:
where m is the invariant mass. The invariant magnitude of the momentum 4-vector is:
We can work out what this invariant is by first arguing that, since it is a scalar, it doesn't matter which reference frame we calculate it, and then by transforming to a frame where the total momentum is zero.
Special relativity We see that the rest energy is an independent invariant. A rest energy can be calculated even for particles and systems in motion, by translating to a frame in which momentum is zero. The rest energy is related to the mass according to the celebrated equation discussed above:
49
Note that the mass of systems measured in their center of momentum frame (where total momentum is zero) is given by the total energy of the system in this frame. It may not be equal to the sum of individual system masses measured in other frames.
Force in 4D
To use Newton's third law of motion, both forces must be defined as the rate of change of momentum with respect to the same time coordinate. That is, it requires the 3D force defined above. Unfortunately, there is no tensor in 4D which contains the components of the 3D force vector among its components. If a particle is not traveling at c, one can transform the 3D force from the particle's co-moving reference frame into the observer's reference frame. This yields a 4-vector called the four-force. It is the rate of change of the above energy momentum four-vector with respect to proper time. The covariant version of the four-force is:
where is the proper time. In the rest frame of the object, the time component of the four force is zero unless the "invariant mass" of the object is changing (this requires a non-closed system in which energy/mass is being directly added or removed from the object) in which case it is the negative of that rate of change of mass, times c. In general, though, the components of the four force are not equal to the components of the three-force, because the three force is defined by the rate of change of momentum with respect to coordinate time, i.e. dp/dt while the four force is defined by the rate of change of momentum with respect to proper time, i.e. dp/d. In a continuous medium, the 3D density of force combines with the density of power to form a covariant 4-vector. The spatial part is the result of dividing the force on a small cell (in 3-space) by the volume of that cell. The time component is 1/c times the power transferred to that cell divided by the volume of the cell. This will be used below in the section on electromagnetism.
50
Status
Special relativity in its Minkowski spacetime is accurate only when the absolute value of the gravitational potential is much less than c2 in the region of interest.[49] In a strong gravitational field, one must use general relativity. General relativity becomes special relativity at the limit of weak field. At very small scales, such as at the Planck length and below, quantum effects must be taken into consideration resulting in quantum gravity. However, at macroscopic scales and in the absence of strong gravitational fields, special relativity is experimentally tested to extremely high degree of accuracy (1020)[50] and thus accepted by the physics community. Experimental results which appear to contradict it are not reproducible and are thus widely believed to be due to experimental errors. Special relativity is mathematically self-consistent, and it is an organic part of all modern physical theories, most notably quantum field theory, string theory, and general relativity (in the limiting case of negligible gravitational fields). Newtonian mechanics mathematically follows from special relativity at small velocities (compared to the speed of light) thus Newtonian mechanics can be considered as a special relativity of slow moving bodies. See classical mechanics for a more detailed discussion. Several experiments predating Einstein's 1905 paper are now interpreted as evidence for relativity. Of these it is known Einstein was aware of the Fizeau experiment before 1905,[51] and historians have concluded that Einstein was at least aware of the MichelsonMorley experiment as early as 1899 despite claims he made in his later years that it played no role in his development of the theory.[19] The Fizeau experiment (1851, repeated by Michelson and Morley in 1886) measured the speed of light in moving media, with results that are consistent with relativistic addition of colinear velocities. The famous MichelsonMorley experiment (1881, 1887) gave further support to the postulate that detecting an absolute reference velocity was not achievable. It should be stated here that, contrary to many alternative claims, it said little about the invariance of the speed of light with respect to the source and observer's velocity, as both source and observer were travelling together at the same velocity at all times. The TroutonNoble experiment (1903) showed that the torque on a capacitor is independent of position and inertial reference frame. The Experiments of Rayleigh and Brace (1902, 1904) showed that length contraction doesn't lead to birefringence for a co-moving observer, in accordance with the relativity principle. Particle accelerators routinely accelerate and measure the properties of particles moving at near the speed of light, where their behavior is completely consistent with relativity theory and inconsistent with the earlier Newtonian mechanics. These machines would simply not work if they were not engineered according to relativistic principles. In addition, a considerable number of modern experiments have been conducted to test special relativity. Some examples: Tests of relativistic energy and momentum testing the limiting speed of particles IvesStilwell experiment testing relativistic Doppler effect and time dilation Time dilation of moving particles relativistic effects on a fast-moving particle's half-life KennedyThorndike experiment time dilation in accordance with Lorentz transformations HughesDrever experiment testing isotropy of space and mass Modern searches for Lorentz violation various modern tests Experiments to test emission theory demonstrated that the speed of light is independent of the speed of the emitter.
Special relativity
51
References
[1] Albert Einstein (1905) " Zur Elektrodynamik bewegter Krper (http:/ / www. pro-physik. de/ Phy/ pdfs/ ger_890_921. pdf)", Annalen der Physik 17: 891; English translation On the Electrodynamics of Moving Bodies (http:/ / www. fourmilab. ch/ etexts/ einstein/ specrel/ www/ ) by George Barker Jeffery and Wilfrid Perrett (1923); Another English translation On the Electrodynamics of Moving Bodies by Megh Nad Saha (1920). [2] Edwin F. Taylor and John Archibald Wheeler (1992). Spacetime Physics: Introduction to Special Relativity. W. H. Freeman. ISBN0-7167-2327-1. [3] Wolfgang Rindler (1977). Essential Relativity (http:/ / books. google. com/ ?id=0J_dwCmQThgC& pg=PT148). Birkhuser. p.1,11 p. 7. ISBN3-540-07970-X. . [4] Tom Roberts and Siegmar Schleif (October 2007). "What is the experimental basis of Special Relativity?" (http:/ / www. edu-observatory. org/ physics-faq/ Relativity/ SR/ experiments. html). Usenet Physics FAQ. . Retrieved 2008-09-17. [5] Albert Einstein (2001). Relativity: The Special and the General Theory (http:/ / books. google. com/ ?id=idb7wJiB6SsC& pg=PA50) (Reprint of 1920 translation by Robert W. Lawson ed.). Routledge. p.48. ISBN0-415-25384-5. . [6] Richard Phillips Feynman (1998). Six Not-so-easy Pieces: Einstein's relativity, symmetry, and space-time (http:/ / books. google. com/ ?id=ipY8onVQWhcC& pg=PA68) (Reprint of 1995 ed.). Basic Books. p.68. ISBN0-201-32842-9. . [7] Albert Einstein, Relativity The Special and General Theory, chapter 18 (http:/ / www. marxists. org/ reference/ archive/ einstein/ works/ 1910s/ relative/ ch18. htm) [8] Charles W. Misner, Kip S. Thorne & John A. Wheeler,Gravitation, pg 172, 6.6 The local coordinate system of an accelerated observer, ISBN 0-7167-0344-0 [9] Einstein, Autobiographical Notes, 1949. [10] Einstein, "Fundamental Ideas and Methods of the Theory of Relativity", 1920 [11] For a survey of such derivations, see Lucas and Hodgson, Spacetime and Electromagnetism, 1990 [12] Einstein, A., Lorentz, H. A., Minkowski, H., & Weyl, H. (1952). The Principle of Relativity: a collection of original memoirs on the special and general theory of relativity (http:/ / books. google. com/ ?id=yECokhzsJYIC& pg=PA111). Courier Dover Publications. p.111. ISBN0-486-60081-5. . [13] Einstein, On the Relativity Principle and the Conclusions Drawn from It, 1907; "The Principle of Relativity and Its Consequences in Modern Physics", 1910; "The Theory of Relativity", 1911; Manuscript on the Special Theory of Relativity, 1912; Theory of Relativity, 1913; Einstein, Relativity, the Special and General Theory, 1916; The Principle Ideas of the Theory of Relativity, 1916; What Is The Theory of Relativity?, 1919; The Principle of Relativity (Princeton Lectures), 1921; Physics and Reality, 1936; The Theory of Relativity, 1949. [14] Das, A., The Special Theory of Relativity, A Mathematical Exposition, Springer, 1993. [15] Schutz, J., Independent Axioms for Minkowski Spacetime, 1997. [16] Yaakov Friedman, Physical Applications of Homogeneous Balls, Progress in Mathematical Physics 40 Birkhuser, Boston, 2004, pages 1-21. [17] David Morin, Introduction to Classical Mechanics, Cambridge University Press, Cambridge, 2007, chapter 11, Appendix I [18] Michael Polanyi, Personal Knowledge: Towards a Post-Critical Philosophy, 1974, ISBN 0-226-67288-3, footnote page 10-11: Einstein reports, via Dr N Balzas in response to Polanyi's query, that "The MichelsonMorely experiment had no role in the foundation of the theory."
Special relativity
and "..the theory of relativity was not founded to explain its outcome at all." (http:/ / books. google. com/ books?id=0Rtu8kCpvz4C& lpg=PP1& pg=PT19#v=onepage& q=& f=false) [19] Dongen, Jeroen van (2009). "On the role of the MichelsonMorley experiment: Einstein in Chicago" (http:/ / philsci-archive. pitt. edu/ 4778/ 1/ Einstein_Chicago_Web2. pdf). Eprint arXiv:0908.1545 0908: 1545. arXiv:0908.1545. Bibcode2009arXiv0908.1545V. . [20] Resnick, Robert (1968). Introduction to special relativity (http:/ / books. google. com/ books?id=fsIRAQAAIAAJ). Wiley. pp.6263. . [21] Kleppner, Daniel; Kolenkow, David (1973). An Introduction to Mechanics. pp.46870. [22] Does the inertia of a body depend upon its energy content? (http:/ / www. fourmilab. ch/ etexts/ einstein/ E_mc2/ www/ ) A. Einstein, Annalen der Physik. 18:639, 1905 (English translation by W. Perrett and G.B. Jeffery) [23] Max Jammer (1997). Concepts of Mass in Classical and Modern Physics (http:/ / books. google. com/ ?id=lYvz0_8aGsMC& pg=PA177). Courier Dover Publications. pp.177178. ISBN0-486-29998-8. . [24] John J. Stachel (2002). Einstein from B to Z (http:/ / books. google. com/ ?id=OAsQ_hFjhrAC& pg=PA215). Springer. p.221. ISBN0-8176-4143-2. . [25] On the Inertia of Energy Required by the Relativity Principle (http:/ / www. webcitation. org/ query?url=http:/ / www. geocities. com/ physics_world/ abstracts/ Einstein_1907A_abstract. htm& date=2009-10-26+ [Link]), A. Einstein, Annalen der Physik 23 (1907): 371-384 [26] In a letter to Carl Seelig in 1955, Einstein wrote "I had already previously found that Maxwell's theory did not account for the micro-structure of radiation and could therefore have no general validity.", Einstein letter to Carl Seelig, 1955. [27] Gibbs, Philip; Koks, Don. "The Relativistic Rocket" (http:/ / math. ucr. edu/ home/ baez/ physics/ Relativity/ SR/ rocket. html). . Retrieved 30 August 2012. [28] http:/ / library. thinkquest. org/ C0116043/ specialtheorytext. htm Thinkquest org [29] R. C. Tolman, The theory of the Relativity of Motion, (Berkeley 1917), p. 54 [30] G. A. Benford, D. L. Book, and W. A. Newcomb, The Tachyonic Antitelephone, Phys. Rev. D 2, 263265 (1970) article (http:/ / link. aps. org/ abstract/ PRD/ v2/ p263) [31] Salmon, Wesley C. (2006). Four Decades of Scientific Explanation (http:/ / books. google. com/ books?id=FHqOXCd06e8C). University of Pittsburgh. p.107. ISBN0-8229-5926-7. ., Section 3.7 page 107 (http:/ / books. google. com/ books?id=FHqOXCd06e8C& pg=PA107) [32] F. Low and P. Mende, A Note on the Tunneling Time Problem, Ann. Phys. NY, 210, 380-387 (1991) [33] A. Enders and G. Nimtz, On superluminal barrier traversal, J. Phys. I, France 2, 1693-1698 (1992) [34] S. Longhi et al., Measurement of superluminal optical tunneling times in double-barrier photonic band gaps, [Link]. E, 65, 06610 1-6 (2002) [35] P. Eckle et al., Attosecond Ionization and Tunneling Delay Time Measurements in Helium, Science, 322, 1525-1529 (2008) [36] G. Nimtz, Do Evanescent Modes Violate Relativistic Causality?, [Link] Phys. 702, 506-531 (2006) [37] G. Nimtz, Tunneling Violates Special Relativity, arXiv:1003.3944v1 [38] Herbert Winful (2007-09-18). "Comment on "Macroscopic violation of special relativity" by Nimtz and Stahlhofen". arXiv:0709.2736[quant-ph]. [39] Chris Lee (2007-08-16). "Latest "faster than the speed of light" claims wrong (again)" (http:/ / arstechnica. com/ news. ars/ post/ 20070816-faster-than-the-speed-of-light-no-i-dont-think-so. html). . [40] Winful, Herbert G. (December 2006). "Tunneling time, the Hartman effect, and superluminality: A proposed resolution of an old paradox" (http:/ / sitemaker. umich. edu/ herbert. winful/ files/ physics_reports_review_article__2006_. pdf). Physics Reports 436 (1-2): 169. Bibcode2006PhR...436....1W. doi:10.1016/[Link].2006.09.002. . [41] J.A. Wheeler, C. Misner, K.S. Thorne (1973). Gravitation. W.H. Freeman & Co. p.58. ISBN0-7167-0344-0. [42] J.R. Forshaw, A.G. Smith (2009). Dynamics and Relativity. Wiley. p.247. ISBN978-0-470-01460-8. [43] R. Penrose (2007). The Road to Reality. Vintage books. ISBN0-679-77631-1. [44] Jean-Bernard Zuber & Claude Itzykson, Quantum Field Theory, pg 5 , ISBN 0-07-032071-3 [45] Charles W. Misner, Kip S. Thorne & John A. Wheeler,Gravitation, pg 51, ISBN 0-7167-0344-0 [46] George Sterman, An Introduction to Quantum Field Theory, pg 4 , ISBN 0-521-31132-2 [47] M. Carroll, Sean (2004). Spacetime and Geometry: An Introduction to General Relativity (http:/ / books. google. com/ books?id=1SKFQgAACAAJ) (illustrated ed.). Addison Wesley. p.22. ISBN0-8053-8732-3. . [48] E. J. Post (1962). Formal Structure of Electromagnetics: General Covariance and Electromagnetics. Dover Publications Inc.. ISBN0-486-65427-3. [49] Grn, yvind; Hervik, Sigbjrn (2007). Einstein's general theory of relativity: with modern applications in cosmology (http:/ / books. google. com/ books?id=IyJhCHAryuUC). Springer. p.195. ISBN0-387-69199-5. ., Extract of page 195 (with units where c=1) (http:/ / books. google. com/ books?id=IyJhCHAryuUC& pg=PA195) [50] The number of works is vast, see as example: Sidney Coleman, Sheldon L. Glashow, Cosmic Ray and Neutrino Tests of Special Relativity, Phys. Lett. B405 (1997) 249-252, online (http:/ / arxiv. org/ abs/ hep-ph/ 9703240) An overview can be found on this page (http:/ / www. edu-observatory. org/ physics-faq/ Relativity/ SR/ experiments. html) [51] Norton, John D., John D. (2004), "Einstein's Investigations of Galilean Covariant Electrodynamics prior to 1905" (http:/ / philsci-archive. pitt. edu/ archive/ 00001743/ ), Archive for History of Exact Sciences 59: 45105, Bibcode2004AHES...59...45N, doi:10.1007/s00407-004-0085-6,
52
Special relativity
[52] Dirac, P.A.M. (1930). "A Theory of Electrons and Protons". Proc. R. Soc. A126: 360. Bibcode1930RSPSA.126..360D. doi:10.1098/rspa.1930.0013. JSTOR95359. [53] C.D. Anderson: The Positive Electron. Phys. Rev. 43, 491-494 (1933)
53
Textbooks
Einstein, Albert (1920). Relativity: The Special and General Theory. Einstein, Albert (1996). The Meaning of Relativity. Fine Communications. ISBN 1-56731-136-9 Freund, Jrgen (2008) Special Relativity for Beginners - A Textbook for Undergraduates ([Link] ch) World Scientific. ISBN 981-277-160-3 Logunov, Anatoly A. (2005) Henri Poincar and the Relativity Theory ([Link] (transl. from Russian by G. Pontocorvo and V. O. Soleviev, edited by V. A. Petrov) Nauka, Moscow. Charles Misner, Kip Thorne, and John Archibald Wheeler (1971) Gravitation. W. H. Freeman & Co. ISBN 0-7167-0334-3 Post, E.J., 1997 (1962) Formal Structure of Electromagnetics: General Covariance and Electromagnetics. Dover Publications. Wolfgang Rindler (1991). Introduction to Special Relativity (2nd ed.), Oxford University Press. ISBN 978-0-19-853952-0; ISBN 0-19-853952-5 Harvey R. Brown (2005). Physical relativity: space-time structure from a dynamical perspective, Oxford University Press, ISBN 0-19-927583-1; ISBN 978-0-19-927583-0 Qadir, Asghar (1989). Relativity: An Introduction to the Special Theory ([Link] ?id=X5YofYrqFoAC&printsec=frontcover&dq=Relativity:+An+Introduction+to+the+Special+Theory+by+ Asghar+Qadir#v=onepage&q&f=false). Singapore: World Scientific Publications. pp.128. ISBN9971-5-0612-2. Silberstein, Ludwik (1914) The Theory of Relativity. Lawrence Sklar (1977). Space, Time and Spacetime ([Link] pg=PA206). University of California Press. ISBN0-520-03174-1. Lawrence Sklar (1992). Philosophy of Physics ([Link] Westview Press. ISBN0-8133-0625-6. Taylor, Edwin, and John Archibald Wheeler (1992) Spacetime Physics (2nd ed.). W.H. Freeman & Co. ISBN 0-7167-2327-1 Tipler, Paul, and Llewellyn, Ralph (2002). Modern Physics (4th ed.). W. H. Freeman & Co. ISBN 0-7167-4345-0
Journal articles
Alvager, et al.; Farley, F. J. M.; Kjellman, J.; Wallin, L. (1964). "Test of the Second Postulate of Special Relativity in the GeV region". Physics Letters 12 (3): 260. Bibcode1964PhL....12..260A. doi:10.1016/0031-9163(64)91095-9. Darrigol, Olivier (2004). "The Mystery of the Poincar-Einstein Connection". Isis 95 (4): 61426. doi:10.1086/430652. PMID16011297. Feigenbaum, Mitchell (2008). "The Theory of Relativity - Galileo's Child". Eprint arXiv:0806.1234 0806: 1234. arXiv:0806.1234. Bibcode2008arXiv0806.1234F. Gulevich, D. R. et al.; Kusmartsev, F. V.; Savel'Ev, Sergey; Yampol'Skii, V. A.; Nori, Franco (2008). "Shape waves in 2D Josephson junctions: Exact solutions and time dilation". Phys. Rev. Lett. 101 (12): 127002. arXiv:0808.1514. Bibcode2008PhRvL.101l7002G. doi:10.1103/PhysRevLett.101.127002. PMID18851404. Rizzi, G. et al. (2005). "Synchronization Gauges and the Principles of Special Relativity". Found. Phys 34: 183587. arXiv:gr-qc/0409105. Bibcode2004FoPh...34.1835R. doi:10.1007/s10701-004-1624-3. Wolf, Peter; Petit, Gerard (1997). "Satellite test of Special Relativity using the Global Positioning System". Physical Review A 56 (6): 440509. Bibcode1997PhRvA..56.4405W. doi:10.1103/PhysRevA.56.4405.
Special relativity
54
External links
Original works
Zur Elektrodynamik bewegter Krper ([Link] 1905_17_891-[Link]) Einstein's original work in German, Annalen der Physik, Bern 1905 On the Electrodynamics of Moving Bodies ([Link] English Translation as published in the 1923 book The Principle of Relativity.
Special relativity
55
Visualization
Raytracing Special Relativity ([Link] Software visualizing several scenarios under the influence of special relativity. Real Time Relativity ([Link] The Australian National University. Relativistic visual effects experienced through an interactive program. Spacetime travel ([Link] A variety of visualizations of relativistic effects, from relativistic motion to black holes. Through Einstein's Eyes ([Link] The Australian National University. Relativistic visual effects explained with movies and images. Warp Special Relativity Simulator ([Link] A computer program to show the effects of traveling close to the speed of light. Animation clip ([Link] visualizing the Lorentz transformation. Original interactive FLASH Animations ([Link] from John de Pillis illustrating Lorentz and Galilean frames, Train and Tunnel Paradox, the Twin Paradox, Wave Propagation, Clock Synchronization, etc. Relativistic Optics at the ANU ([Link]
Intuitionism
In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach to mathematics as the constructive mental activity of humans. That is, mathematics does not consist of analytic activities wherein deep properties of existence are revealed and applied. Instead, logic and mathematics are the application of internally consistent methods to realize more complex mental constructs.
Intuitionism there is a counterexample). There is thus an asymmetry between a positive and negative statement in intuitionism. If a statement P is provable, then it is certainly impossible to prove that there is no proof of P. But even if it can be shown that no disproof of P is possible, we cannot conclude from this absence that there is a proof of P. Thus P is a stronger statement than not-not-P. Similarly, to assert that A or B holds, to an intuitionist, is to claim that either A or B can be proved. In particular, the law of excluded middle, "A or not A", is not accepted as a valid principle. For example, if A is some mathematical statement that an intuitionist has not yet proved or disproved, then that intuitionist will not assert the truth of "A or not A". However, the intuitionist will accept that "A and not A" cannot be true. Thus the connectives "and" and "or" of intuitionistic logic do not satisfy de Morgan's laws as they do in classical logic. Intuitionistic logic substitutes constructability for abstract truth and is associated with a transition from the proof to model theory of abstract truth in modern mathematics. The logical calculus preserves justification, rather than truth, across transformations yielding derived propositions. It has been taken as giving philosophical support to several schools of philosophy, most notably the Anti-realism of Michael Dummett. Thus, contrary to the first impression its name might convey, and as realized in specific approaches and disciplines (e.g. Fuzzy Sets and Systems), intuitionist mathematics is more rigorous than conventionally founded mathematics, where, ironically, the foundational elements which Intuitionism attempts to construct/refute/refound are taken as intuitively given.
56
Intuitionism Finitism is an extreme version of Intuitionism that rejects the idea of potential infinity. According to Finitism, a mathematical object does not exist unless it can be constructed from the natural numbers in a finite number of steps.
57
History of Intuitionism
Intuitionism's history can be traced to two controversies in nineteenth century mathematics. The first of these was the invention of transfinite arithmetic by Georg Cantor and its subsequent rejection by a number of prominent mathematicians including most famously his teacher Leopold Kronecker a confirmed finitist. The second of these was Gottlob Frege's effort to reduce all of mathematics to a logical formulation via set theory and its derailing by a youthful Bertrand Russell, the discoverer of Russell's paradox. Frege had planned a three volume definitive work, but shortly after the first volume had been published, Russell sent Frege a letter outlining his paradox which demonstrated that one of Frege's rules of self-reference was self-contradictory. Frege, the story goes, plunged into depression and did not publish the second and third volumes of his work as he had planned. For more see Davis (2000) Chapters 3 and 4: Frege: From Breakthrough to Despair and Cantor: Detour through Infinity. See van Heijenoort for the original works and van Heijenoort's commentary. These controversies are strongly linked as the logical methods used by Cantor in proving his results in transfinite arithmetic are essentially the same as those used by Russell in constructing his paradox. Hence how one chooses to resolve Russell's paradox has direct implications on the status accorded to Cantor's transfinite arithmetic. In the early twentieth century L. E. J. Brouwer represented the intuitionist position and David Hilbert the formalist position see van Heijenoort. Kurt Gdel offered opinions referred to as Platonist (see various sources re Gdel). Alan Turing considers: "non-constructive systems of logic with which not all the steps in a proof are mechanical, some being intuitive". (Turing 1939, reprinted in Davis 2004, p.210) Later, Stephen Cole Kleene brought forth a more rational consideration of intuitionism in his Introduction to Meta-mathematics (1952).
Contributors to intuitionism
L. E. J. Brouwer Michael Dummett Arend Heyting Stephen Kleene
Intuitionism
58
References
[1] Imre Lakatos (1976) Proofs and Refutations
Further reading
"Analysis." Encyclopdia Britannica. 2006. Encyclopdia Britannica 2006 Ultimate Reference Suite DVD 15 June 2006, "Constructive analysis" (Ian Stewart, author) W. S. Anglin, Mathematics: A Concise history and Philosophy, Springer-Verlag, New York, 1994. In Chapter 39 Foundations, with respect to the 20th century Anglin gives very precise, short descriptions of Platonism (with respect to Godel), Formalism (with respect to Hilbert), and Intuitionism (with respect to Brouwer). Martin Davis (ed.) (1965), The Undecidable, Raven Press, Hewlett, NY. Compilation of original papers by Gdel, Church, Kleene, Turing, Rosser, and Post. Republished as Davis, Martin, ed. (2004). The Undecidable. Courier Dover Publications. ISBN978-0-486-43228-1. Martin Davis (2000). Engines of Logic: Mathematicians and the origin of the Computer (1st edition ed.). W. W. Norton & Company, New York. ISBN0-393-32229-7 pbk.. John W. Dawson Jr., Logical Dilemmas: The Life and Work of Kurt Gdel, A. K. Peters, Wellesley, MA, 1997. Less readable than Goldstein but, in Chapter III Excursis, Dawson gives an excellent "A Capsule History of the Development of Logic to 1928". Rebecca Goldstein, Incompleteness: The Proof and Paradox of Kurt Godel, Atlas Books, W.W. Norton, New York, 2005. In Chapter II Hilbert and the Formalists Goldstein gives further historical context. As a Platonist Gdel was reticent in the presence of the logical positivism of the Vienna Circle. She discusses Wittgenstein's impact and the impact of the formalists. Goldstein notes that the intuitionists were even more opposed to Platonism than Formalism. van Heijenoort, J., From Frege to Gdel, A Source Book in Mathematical Logic, 1879-1931, Harvard University Press, Cambridge, MA, 1967. Reprinted with corrections, 1977. The following papers appear in van Heijenoort: L.E.J. Brouwer, 1923, On the significance of the principle of excluded middle in mathematics, especially in function theory [reprinted with commentary, p. 334, van Heijenoort] Andrei Nikolaevich Kolmogorov, 1925, On the principle of excluded middle, [reprinted with commentary, p. 414, van Heijenoort] L.E.J. Brouwer, 1927, On the domains of definitions of functions, [reprinted with commentary, p. 446, van Heijenoort] Although not directly germane, in his (1923) Brouwer uses certain words defined in this paper. L.E.J. Brouwer, 1927(2), Intuitionistic reflections on formalism, [reprinted with commentary, p. 490, van Heijenoort] Jacques Herbrand, (1931b), "On the consistency of arithmetic", [reprinted with commentary, p. 618ff, van Heijenoort] From van Heijenoort's commentary it is unclear whether or not Herbrand was a true "intuitionist"; Gdel (1963) asserted that indeed "...Herbrand was an intuitionist". But van Heijenoort says Herbrand's conception was "on the whole much closer to that of Hilbert's word 'finitary' ('finit') that to "intuitionistic" as applied to Brouwer's doctrine". Hesseling, Dennis E. (2003). Gnomes in the Fog. The Reception of Brouwer's Intuitionism in the 1920s. Birkhuser. ISBN3-7643-6536-6.
Intuitionism Arend Heyting: Heyting, Arend (1971) [1956]. Intuitionism: An Introduction (3d rev. ed. ed.). Amsterdam: North-Holland Pub. Co. ISBN0-7204-2239-6. Kleene, Stephen C. (1991) [1952]. Introduction to Meta-Mathematics (Tenth impression 1991 ed.). Amsterdam NY: North-Holland Pub. Co. ISBN0-7204-2103-9. In Chapter III A Critique of Mathematic Reasoning, 11. The paradoxes, Kleene discusses Intuitionism and Formalism in depth. Throughout the rest of the book he treats, and compares, both Formalist (classical) and Intuitionist logics with an emphasis on the former. Extraordinary writing by an extraordinary mathematician. Stephen Cole Kleene and Richard Eugene Vesley, The Foundations of Intuistionistic Mathematics, North-Holland Publishing Co. Amsterdam, 1965. The lead sentence tells it all "The constructive tendency in mathematics...". A text for specialists, but written in Kleene's wonderfully-clear style. Hilary Putnam and Paul Benacerraf, Philosophy of Mathematics: Selected Readings, Englewood Cliffs, N.J.: Prentice-Hall, 1964. 2nd ed., Cambridge: Cambridge University Press, 1983. ISBN 0-521-29648-X Part I. The foundation of mathematics, Symposium on the foundations of mathematics Rudolf Carnap, The logicist foundations of mathematics, p. 41 Arend Heyting, The intuitionist foundations of mathematics, p. 52 Johann von Neumann, The formalist foundations of mathematics, p. 61 Arend Heyting, Disputation, p. 66 L. E. J. Brouwer, Intuitionnism and formalism, p. 77 L. E. J. Brouwer, Consciousness, philosophy, and mathematics, p. 90 Constance Reid, Hilbert, Copernicus - Springer-Verlag, 1st edition 1970, 2nd edition 1996. Definitive biography of Hilbert places his "Program" in historical context together with the subsequent fighting, sometimes rancorous, between the Intuitionists and the Formalists. Paul Rosenbloom, The Elements of Mathematical Logic, Dover Publications Inc, Mineola, New York, 1950. In a style more of Principia Mathematica many symbols, some antique, some from German script. Very good discussions of intuitionism in the following locations: pages 51-58 in Section 4 Many Valued Logics, Modal Logics, Intuitionism; pages 69-73 Chapter III The Logic of Propostional Functions Section 1 Informal Introduction; and p. 146-151 Section 7 the Axiom of Choice.
59
Secondary references
A. A. Markov (1954) Theory of algorithms. [Translated by Jacques J. Schorr-Kon and PST staff] Imprint Moscow, Academy of Sciences of the USSR, 1954 [i.e. Jerusalem, Israel Program for Scientific Translations, 1961; available from the Office of Technical Services, U.S. Dept. of Commerce, Washington] Description 444 p.28cm. Added t.p. in Russian Translation of Works of the Mathematical Institute, Academy of Sciences of the USSR, v. 42. Original title: Teoriya algorifmov. [QA248.M2943 Dartmouth College library. U.S. Dept. of Commerce, Office of Technical Services, number OTS 60-51085.] A secondary reference for specialists: Markov opined that "The entire significance for mathematics of rendering more precise the concept of algorithm emerges, however, in connection with the problem of a constructive foundation for mathematics....[p. 3, italics added.] Markov believed that further applications of his work "merit a special book, which the author hopes to write in the future" (p. 3). Sadly, said work apparently never appeared. Turing, Alan M. (1939). Systems of Logic Based on Ordinals.
Intuitionism
60
External links
Ten Questions about Intuitionism ([Link]
Intuitionistic logic
Intuitionistic logic, or constructive logic, is a symbolic logic system differing from classical logic in its definition of the meaning of a statement being true. In classical logic, all well-formed statements are assumed to be either true or false, even if we do not have a proof of either. In constructive logic, a statement is 'only true' if there is a constructive proof that it is true, and 'only false' if there is a constructive proof that it is false. Operations in constructive logic preserve justification, rather than truth. Syntactically, intuitionistic logic is a restriction of classical logic in which the law of excluded middle and double negation elimination are not axioms of the system, and cannot be proved. There are several semantics commonly employed. One semantics mirrors classical Boolean-valued semantics but uses Heyting algebras in place of Boolean algebras. Another semantics uses Kripke models. Constructive logic is practically useful because its restrictions produce proofs that have the existence property, making it also suitable for other forms of mathematical constructivism. Informally, this means that given a constructive proof that an object exists, then that constructive proof can be turned into an algorithm for generating an example of it. Formalized intuitionistic logic was originally developed by Arend Heyting to provide a formal basis for Brouwer's programme of intuitionism.
Syntax
The syntax of formulas of intuitionistic logic is similar to propositional logic or first-order logic. However, intuitionistic connectives are not definable in terms of each other in the same way as in classical logic, hence their choice matters. In intuitionistic propositional logic it is customary to use , , , as the basic connectives, treating A as an abbreviation for (A ). In intuitionistic first-order logic both quantifiers , are needed. Many tautologies of classical logic can no longer be proven within intuitionistic logic. Examples include not only the law of excluded middle p p, but also Peirce's law ((p q) p) p, and even double negation elimination. In The RiegerNishimura lattice. Its nodes are the propositional formulas in one classical logic, both p p and also p p variable up to intuitionistic logical equivalence, ordered by intuitionistic are theorems. In intuitionistic logic, only the logical implication. former is a theorem: double negation can be introduced, but it cannot be eliminated. Rejecting p p may seem strange to those more familiar with classical logic, but proving this statement in constructive logic would require producing a proof for the truth or falsity of all possible statements, which is impossible for a variety of reasons.
Intuitionistic logic Because many classically valid tautologies are not theorems of intuitionistic logic, but all theorems of intuitionistic logic are valid classically, intuitionistic logic can be viewed as a weakening of classical logic, albeit one with many useful properties.
61
Sequent calculus
Gentzen discovered that a simple restriction of his system LK (his sequent calculus for classical logic) results in a system which is sound and complete with respect to intuitionistic logic. He called this system LJ. In LK any number of formulas is allowed to appear on the conclusion side of a sequent; in contrast LJ allows at most one formula in this position. Other derivatives of LK are limited to intuitionisitic derivations but still allow multiple conclusions in a sequent. LJ' [1] is one example.
Hilbert-style calculus
Intuitionistic logic can be defined using the following Hilbert-style calculus. Compare with the deduction system at Propositional calculus#Alternative calculus. In propositional logic, the inference rule is modus ponens MP: from and infer
AND-3: OR-1: OR-2: OR-3: FALSE: To make this a system of first-order predicate logic, the generalization rules -GEN: from -GEN: from infer infer , if , if is not free in is not free in
are added, along with the axioms PRED-1: , if the term t is free for substitution for the variable x in (i.e., if no occurrence
of any variable in t becomes bound in ) PRED-2: , with the same restriction as for PRED-1
Intuitionistic logic Optional connectives Negation If one wishes to include a connective enough to add: NOT-1': NOT-2': There are a number of alternatives available if one wishes to omit the connective replace the three axioms FALSE, NOT-1', and NOT-2' with the two axioms NOT-1: NOT-2: as at Propositional . Equivalence The connective IFF-1: IFF-2: IFF-3: IFF-1 and IFF-2 can, if desired, be combined into a single axiom conjunction. Relation to classical logic The system of classical logic is obtained by adding any one of the following axioms: (Law of the excluded middle. May also be formulated as (Double negation elimination) (Peirce's law) .) using for equivalence may be treated as an abbreviation, with . Alternatively, one may add the axioms standing for calculus#Axioms. Alternatives to NOT-1 are or (false). For example, one may for negation rather than consider it an abbreviation for , it is
62
In general, one may take as the extra axiom any classical tautology that is not valid in the two-element Kripke frame (in other words, that is not included in Smetanich's logic). Another relationship is given by the GdelGentzen negative translation, which provides an embedding of classical first-order logic into intuitionistic logic: a first-order formula is provable in classical logic if and only if its GdelGentzen translation is provable intuitionistically. Therefore intuitionistic logic can instead be seen as a means of extending classical logic with constructive semantics. In 1932, Kurt Gdel defined a system of Gdel logics intermediate between classical and intuitionistic logic; such logics are known as intermediate logics.
Intuitionistic logic Relation to many-valued logic Kurt Gdel in 1932 showed that intuitionistic logic is not a finitely-many valued logic. (See the section titled Heyting algebra semantics below for a sort of "infinitely-many valued logic" interpretation of intuitionistic logic.)
63
Non-interdefinability of operators
In classical propositional logic, it is possible to take one of conjunction, disjunction, or implication as primitive, and define the other two in terms of it together with negation, such as in ukasiewicz's three axioms of propositional logic. It is even possible to define all four in terms of a sole sufficient operator such as the Peirce arrow (NOR) or Sheffer stroke (NAND). Similarly, in classical first-order logic, one of the quantifiers can be defined in terms of the other and negation. These are fundamentally consequences of the law of bivalence, which makes all such connectives merely Boolean functions. The law of bivalence does not hold in intuitionistic logic, only the law of non-contradiction. As a result none of the basic connectives can be dispensed with, and the above axioms are all necessary. Most of the classical identities are only theorems of intuitionistic logic in one direction, although some are theorems in both directions. They are as follows: Conjunction versus disjunction: Conjunction versus implication: Disjunction versus implication: Universal versus existential quantification: So, for example, "a or b" is a stronger statement than "if not a, then b", whereas these are classically interchangeable. On the other hand, "not (a or b)" is equivalent to "not a, and also not b". If we include equivalence in the list of connectives, some of the connectives become definable from others: In particular, {, , } and {, , } are complete bases of intuitionistic connectives.
Intuitionistic logic As shown by Alexander Kuznetsov, either of the following connectives the first one ternary, the second one quinary is by itself functionally complete: either one can serve the role of a sole sufficient operator for intuitionistic propositional logic, thus forming an analog of the Sheffer stroke from classical propositional logic:[2]
64
Semantics
The semantics are rather more complicated than for the classical case. A model theory can be given by Heyting algebras or, equivalently, by Kripke semantics.
Intuitionistic logic
65
Kripke semantics
Building upon his work on semantics of modal logic, Saul Kripke created another semantics for intuitionistic logic, known as Kripke semantics or relational semantics.[6]
Notes
[1] Proof Theory by G. Takeuti, ISBN 0-444-10492-5 [2] Alexander Chagrov, Michael Zakharyaschev, Modal Logic, vol. 35 of Oxford Logic Guides, Oxford University Press, 1997, pp. 5859. ISBN 0-19-853779-4. [3] Srensen, Morten Heine B; Pawe Urzyczyn (2006). Lectures on the Curry-Howard Isomorphism. Studies in Logic and the Foundations of Mathematics. Elsevier. p.42. ISBN0-444-52077-5. [4] Alfred Tarski, Der Aussagenkalkl und die Topologie, Fundamenta Mathematicae 31 (1938), 103134. (http:/ / matwbn. icm. edu. pl/ tresc. php?wyd=1& tom=31) [5] Rasiowa, Helena; Roman Sikorski (1963). The Mathematics of Metamathematics. Monografie matematyczne. Warsaw: Pastwowe Wydawn. Naukowe. pp.385386. [6] Intuitionistic Logic (http:/ / plato. stanford. edu/ entries/ logic-intuitionistic/ ). Written by Joan Moschovakis (http:/ / www. math. ucla. edu/ ~joan/ ). Published in Stanford Encyclopedia of Philosophy. [7] Aoyama, Hiroshi (2004). "LK, LJ, Dual Intuitionistic Logic, and Quantum Logic". Notre Dame Journal of Formal Logic 45 (4): 193213. doi:10.1305/ndjfl/1099238445.
References
Van Dalen, Dirk, 2001, "Intuitionistic Logic", in Goble, Lou, ed., The Blackwell Guide to Philosophical Logic. Blackwell. Morten H. Srensen, Pawe Urzyczyn, 2006, Lectures on the Curry-Howard Isomorphism (chapter 2: "Intuitionistic Logic"). Studies in Logic and the Foundations of Mathematics vol. 149, Elsevier. W. A. Carnielli (with A. B.M. Brunner). "Anti-intuitionism and paraconsistency" ([Link] jal.2004.07.016). Journal of Applied Logic Volume 3, Issue 1, March 2005, pages 161-184.
External links
Stanford Encyclopedia of Philosophy: " Intuitionistic Logic ([Link] logic-intuitionistic/)" -- by Joan Moschovakis. Intuitionistic Logic ([Link] by Nick Bezhanishvili and Dick de Jongh (from the Institute for Logic, Language and Computation at the University of Amsterdam) Semantical Analysis of Intuitionistic Logic I ([Link] kripke_intuitionism.pdf) by Saul A. Kripke from Harvard University, Cambridge, Mass., USA Intuitionistic Logic ([Link] by Dirk van Dalen The discovery of E.W. Beth's semantics for intuitionistic logic ([Link] [Link]) by A.S. Troelstra and P. van Ulsen Expressing Database Queries with Intuitionistic Logic ([Link] hypotheticals/[Link]) (FTP one-click download) by Anthony J. Bonner. L. Thorne McCarty. Kumar Vadaparty. Rutgers University, Department of Computer Science.
Heyting arithmetic
66
Heyting arithmetic
In mathematical logic, Heyting arithmetic (sometimes abbreviated HA) is an axiomatization of arithmetic in accordance with the philosophy of intuitionism (Troelstra 1973:18). It is named after Arend Heyting, who first proposed it. Heyting arithmetic adopts the axioms of Peano arithmetic (PA), but uses intuitionistic logic as its rules of inference. In particular, the law of the excluded middle does not hold in general, though the induction axiom can be used to prove many specific cases. For instance, one can prove that x, y N : x = y x y is a theorem (any two natural numbers are either equal to each other, or not equal to each other). In fact, since "=" is the only predicate symbol in Heyting arithmetic, it then follows that, for any quantifier-free formula p, x, y, z, N : p p is a theorem (where x, y, z are the free variables in p). Kurt Gdel studied the relationship between Heyting arithmetic and Peano arithmetic. He used the GdelGentzen negative translation to prove in 1933 that if HA is consistent, then PA is also consistent. Heyting arithmetic should not be confused with Heyting algebras, which are the intuitionistic analogue of Boolean algebras.
References
Ulrich Kohlenbach (2008), Applied proof theory, Springer. Anne S. Troelstra, ed. (1973), Metamathematical investiation of intuitionistic arithmetic and analysis, Springer, 1973.
External links
Stanford Encyclopedia of Philosophy: "Intuitionistic Number Theory [1]" by Joan Moschovakis. Fragments of Heyting Arithmetic [2] by Wolfgang Burr
References
[1] http:/ / plato. stanford. edu/ entries/ logic-intuitionistic/ #IntNumTheHeyAri [2] http:/ / wwwmath. uni-muenster. de%2Fu%2Fburr%2FHA. ps& ei=1xokUNzGBtOzhAeOhoDACg& usg=AFQjCNHBfKqVZwzEo2FgnF9Eia_Cmo4OZg
67
-types
-types, also called dependent product types, are analogous to the indexed products of sets. As such, they generalize the normal function space to model functions whose result type may vary on their input. E.g. writing for -tuples of real numbers, stands for the type of a function that, given a natural number, returns an -tuple of real numbers. The usual function space arises as a special case when the range type does not actually depend on the input, e.g., is the type of functions from natural numbers to the real numbers, which is also written as . Using the CurryHoward isomorphism -types also serve to is a function model implication and universal quantification: e.g., a term inhabiting
which assigns to any pair of natural numbers a proof that addition is commutative for that pair and hence can be considered as a proof that addition is commutative for all natural numbers. The generalisation from function type to dependent product type is analogous to the generalisation from exponentiation of natural numbers to indexed products of them. Consider the expression : in this case, the dummy variable of the product is not mentioned within the term . However, it is clear that exponentiation can be generalised by allowing terms in the product to mention the dummy variable, i.e., by allowing indexing. In its general form, such a product then becomes: .
-types
-types, also called dependent sum types, are analogous to the indexed disjoint unions of sets. As such, they generalize the usual Cartesian product to model pairs where the type of the second component depends on the first. For example, the type stands for the type of pairs of a natural number and an -tuple of real numbers, i.e., this type can be used to model sequences of arbitrary length (usually called lists). The conventional Cartesian product type arises as a special case when the type of the second component doesn't actually depend on the first, e.g., is the type of pairs of a natural number and a real number, which is also written as . Again, using the CurryHoward isomorphism, regular multiplication -types also serve to model conjunction and existential -type is analogous to the generalisation of . quantification. The generalisation of the Cartesian product by the by the indexed sum
68
Finite types
Of special importance are 0 or (the empty type), 1 or (the unit type) and 2 (the type of Booleans or classical truth values). Invoking the CurryHoward isomorphism again, stands for False and for True. Using finite types we can define negation as .
Equality type
Given inhabitant of then is the type of equality proofs that is equal to . . There is only one (canonical) and this is the proof of reflexivity
Inductive types
A prime example of an inductive type is the type of natural numbers (dependent) primitive recursion and induction by which is generated by one elimination for any given type and constant: indexed by . An important application of the propositions as types principle is the identification of
. In general inductive types can be defined in terms of W-types, the type of well-founded trees. An important class of inductive types are inductive families like the type of vectors which is inductively generated by the constructors mentioned above, and
. Applying the CurryHoward isomorphism once more, inductive families correspond to inductively defined relations.
Universes
An example of a universe is so far. To every name , the universe of all small types, which contains names for all the types introduced we associate a type with , its extension or meaning. It is standard to assume a , where the universe contains a code . (A hierarchy with this property is called for every natural number
"cumulative".) Stronger universe principles have been investigated, i.e., super universes and the Mahlo universe. In 1992 Huet and Coquand introduced the calculus of constructions, a type theory with an impredicative universe, thus combining Type Theory with Girard's System F. This extension is not universally accepted by Intuitionists since it allows impredicative, i.e., circular, constructions, which are often identified with classical reasoning.
Intuitionistic type theory and removed by substitution , replacing the variable with the object in .
69
An object that depends on an object from another type can be done two ways. If the object is "abstracted", then it is written and removed by substitution , replacing the variable with the object in .
The object-depending-on-object can also be declared as a constant as part of a recursive type. An example of a recursive type is: Here, is a constant object-depending-on-object. It is not associated with an abstraction. Constants like can be removed by defining equality. Here the relationship with addition is defined using equality and using pattern matching to handle the recursive aspect of . is manipulated as a opaque constant - it has no internal structure for substitution. So, objects and types and these relations are used to express formulae in the theory. The following styles of judgements are used to create new objects, types and relations from existing ones. , is a well-formed type in context . , is a well-formed term of type in context . , and are equal types in context . , and are equal terms of type in context . , is a well-formed context of typing assumptions. (or ). Since is a type, the refers to a type, that maps each object to its corresponding type. In most texts
By convention, there is a type that represents all other types. It is called member of it are objects. There is a dependent type or whether it refers to the object in
is never written. From the context of the statement, a reader can almost always tell whether that corresponds to the type. This is the complete foundation of the theory. Everything else is derived.
To implement logic, each proposition is given its own type. The objects in those types represent the different possible ways to prove the proposition. Obviously, if there is no proof for the proposition, then the type has no objects in it. Operators like "and" and "or" that work on propositions introduce new types and new objects. So is a type that depends on the type and the type . The objects in that dependent type are defined to exist for every pair of objects in new type representing and . Obviously, if or has no proof and is an empty type, then the is also empty.
This can be done for other types (booleans, natural numbers, etc.) and their operators.
70
71
References
Per Martin-Lf (1984). Intuitionistic Type Theory [1] Bibliopolis. ISBN 88-7088-105-9.
Further reading
Bengt Nordstrm; Kent Petersson; Jan M. Smith (1990). Programming in Martin-Lf's Type Theory. Oxford University Press. The book is out of print, but a free version can be picked up from here [2]. Thompson, Simon (1991). Type Theory and Functional Programming [3] Addison-Wesley. ISBN 0-201-41667-0. Granstrm, Johan G. (2011). Treatise on Intuitionistic Type Theory [4] Springer. ISBN 978-94-007-1735-0.
External links
EU Types Project: Tutorials [5] - lecture notes and slides from the Types Summer School 2005 n-Categories - Sketch of a Definition [6] - letter from John Baez and James Dolan to Ross Street, November 29, 1995
References
[1] [2] [3] [4] [5] [6] http:/ / intuitionistic. files. wordpress. com/ 2010/ 07/ martin-lof-tt. pdf http:/ / www. cs. chalmers. se/ Cs/ Research/ Logic/ book/ http:/ / www. cs. kent. ac. uk/ people/ staff/ sjt/ TTFP/ http:/ / www. springer. com/ philosophy/ book/ 978-94-007-1735-0 http:/ / www. cs. chalmers. se/ Cs/ Research/ Logic/ Types/ tutorials. html http:/ / math. ucr. edu/ home/ baez/ ncat. def. html
72
Intuitionistic ZermeloFraenkel
In 1973, John Myhill proposed a system of set theory based on intuitionistic logic[1] taking the most common foundation, ZFC, and throwing away the axiom of choice (AC) and the law of the excluded middle (LEM), leaving everything else as is. However, different forms of some of the ZFC axioms which are equivalent in the classical setting are inequivalent in the constructive setting, and some forms imply LEM. The system, which has come to be known as IZF, or Intuitionistic ZermeloFraenkel (ZF refers to ZFC without the axiom of choice), has the usual axioms of extensionality, pairing, union, infinity, separation and power set. The axiom of regularity is stated in the form of an axiom schema of set induction. Also, while Myhill used the axiom schema of replacement in his system, IZF usually stands for the version with collection While the axiom of replacement requires the relation to be a function over the set A (that is, for every x in A there is associated exactly one y), the axiom of collection does not: it merely requires there be associated at least one y, and it asserts the existence of a set which collects at least one such y for each such x. The axiom of regularity as it is normally stated implies LEM, whereas the form of set induction does not. The formal statements of these two schemata are:
Adding LEM back to IZF results in ZF, as LEM makes collection equivalent to replacement and set induction equivalent to regularity. Even without LEM, IZF's proof-theoretical power equals that of ZF.
Predicativity
While IZF is based on constructive rather than classical logic, it is considered impredicative. It allows formation of sets using the axiom of separation with any proposition, including ones which contain quantifiers which are not bounded. Thus new sets can be formed in terms of the universe of all sets. Additionally the power set axiom implies the existence of a set of truth values. In the presence of LEM, this set exists and has two elements. In the absence of it, the set of truth values is also considered impredicative.
Axioms asserting that the domain and range of a function are both sets. Additionally, an axiom of non-choice asserts the existence of a choice function in cases where the choice is already made. Together these act like the
Constructive set theory usual replacement axiom in classical set theory. The axiom of exponentiation, asserting that for any two sets, there is a third set which contains all (and only) the functions whose domain is the first set, and whose range is the second set. This is a greatly weakened form of the axiom of power set in classical set theory, to which Myhill, among others, objected on the grounds of its impredicativity. The axiom of restricted, or predicative, separation, which is a weakened form of the separation axiom in classical set theory, requiring that any quantifications be bounded to another set. An axiom of dependent choice, which is much weaker than the usual axiom of choice.
73
Subset collection schema: This is the constructive version of the power set axiom. Formally, for any formula :
This is equivalent to a single and somewhat clearer axiom of fullness: between any two sets a and b, there is a set c which contains a total subrelation of any total relation between a and b that can be encoded as a set of ordered pairs. Formally:
and some set-encoding of the ordered pair <x,y> is assumed. The axiom of fullness implies CST's axiom of exponentiation: given two sets, the collection of all total functions from one to the other is also in fact a set. The remaining axioms of CZF are: the axioms of extensionality, pairing, union, and infinity are the same as in ZF; and set induction and predicative separation are the same as above.
74
References
[1] Myhill, "Some properties of Intuitionistic Zermelo-Fraenkel set theory", Proceedings of the 1971 Cambridge Summer School in Mathematical Logic (Lecture Notes in Mathematics 337) (1973) pp 206-231 [2] Peter Aczel and Michael Rathjen, Notes on Constructive Set Theory (http:/ / www. ml. kva. se/ preprints/ meta/ AczelMon_Sep_24_09_16_56. rdf. html), Reports Institut Mittag-Leffler, Mathematical Logic - 2000/2001, No. 40 [3] Aczel, Peter: 1978. The type theoretic interpretation of constructive set theory. In: A. MacIntyre et al. (eds.), Logic Colloquium 77, Amsterdam: North-Holland, 5566. [4] Rathjen, M. (2004), "Predicativity, Circularity, and Anti-Foundation" (http:/ / www1. maths. leeds. ac. uk/ ~rathjen/ russelle. pdf), in Link, Godehard, One Hundred Years of Russell s Paradox: Mathematics, Logic, Philosophy, Walter de Gruyter, ISBN978-3-11-019968-0, [5] Lindstrm, Ingrid: 1989. A construction of non-well-founded sets within Martin-Lf type theory. Journal of Symbolic Logic 54: 5764. [6] Gambino, N. (2005). "PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES" (http:/ / www. math. unipa. it/ ~ngambino/ Research/ Papers/ presheaf. pdf). In Laura Crosilla and Peter Schuster. From Sets and Types to Topology and Analysis. pp.6296. doi:10.1093/acprof:oso/9780198566519.003.0004. ISBN9780198566519. . [7] Scott, D. S. (1985). Category-theoretic models for Intuitionistic Set Theory. Manuscript slides of a talk given at Carnagie-Mellon University
Further reading
Troelstra, Anne; van Dalen, Dirk (1988). Constructivism in Mathematics, Vol. 2. Studies in Logic and the Foundations of Mathematics. p.619. ISBN0-444-70358-6. Aczel, P. and Rathjen, M. (2001). Notes on constructive set theory ([Link] AczelMon_Sep_24_09_16_56.[Link]). Technical Report 40, 2000/2001. Mittag-Leffler Institute, Sweden.
External links
Laura Crosilla, Set Theory: Constructive and Intuitionistic ZF ([Link] set-theory-constructive/), Stanford Encyclopedia of Philosophy, Feb 20, 2009 Benno van den Berg, Constructive set theory an overview ([Link] uploaded_files/inlineitem/[Link]), slides from Heyting dag, Amsterdam, 7 September 2012
Constructive analysis
75
Constructive analysis
In mathematics, constructive analysis is mathematical analysis done according to the principles of constructive mathematics. This contrasts with classical analysis, which (in this context) simply means analysis done according to the (ordinary) principles of classical mathematics. Generally speaking, constructive analysis can reproduce theorems of classical analysis, but only in application to separable spaces; also, some theorems may need to be approached by approximations. Furthermore, many classical theorems can be stated in ways that are logically equivalent according to classical logic, but not all of these forms will be valid in constructive analysis, which uses intuitionistic logic.
Examples
The intermediate value theorem
For a simple example, consider the intermediate value theorem (IVT). In classical analysis, IVT says that, given any continuous function f from a closed interval [a,b] to the real line R, if f(a) is negative while f(b) is positive, then there exists a real number c in the interval such that f(c) is exactly zero. In constructive analysis, this does not hold, because the constructive interpretation of existential quantification ("there exists") requires one to be able to construct the real number c (in the sense that it can be approximated to any desired precision by a rational number). But if f hovers near zero during a stretch along its domain, then this cannot necessarily be done. However, constructive analysis provides several alternative formulations of IVT, all of which are equivalent to the usual form in classical analysis, but not in constructive analysis. For example, under the same conditions on f as in the classical theorem, given any natural number n (no matter how large), there exists (that is, we can construct) a real number cn in the interval such that the absolute value of f(cn) is less than 1/n. That is, we can get as close to zero as we like, even if we can't construct a c that gives us exactly zero. Alternatively, we can keep the same conclusion as in the classical IVT a single c such that f(c) is exactly zero while strengthening the conditions on f. We require that f be locally non-zero, meaning that given any point x in the interval [a,b] and any natural number m, there exists (we can construct) a real number y in the interval such that |y x| < 1/m and |f(y)| > 0. In this case, the desired number c can be constructed. This is a complicated condition, but there are several other conditions which imply it and which are commonly met; for example, every analytic function is locally non-zero (assuming that it already satisfies f(a) < 0 and f(b) > 0). For another way to view this example, notice that according to classical logic, if the locally non-zero condition fails, then it must fail at some specific point x; and then f(x) will equal 0, so that IVT is valid automatically. Thus in classical analysis, which uses classical logic, in order to prove the full IVT, it is sufficient to prove the constructive version. From this perspective, the full IVT fails in constructive analysis simply because constructive analysis does not accept classical logic. Conversely, one may argue that the true meaning of IVT, even in classical mathematics, is the constructive version involving the locally non-zero condition, with the full IVT following by "pure logic" afterwards. Some logicians, while accepting that classical mathematics is correct, still believe that the constructive approach gives a better insight into the true meaning of theorems, in much this way.
Constructive analysis to the full least upper bound principle, since every set is located in classical mathematics. And again, while the definition of located set is complicated, nevertheless it is satisfied by several commonly studied sets, including all intervals and compact sets. Closely related to this, in constructive mathematics, fewer characterisations of compact spaces are constructively validor from another point of view, there are several different concepts which are classically equivalent but not constructively equivalent. Indeed, if the interval [a,b] were sequentially compact in constructive analysis, then the classical IVT would follow from the first constructive version in the example; one could find c as a cluster point of the infinite sequence (cn)n.
76
History
In 1908, Ernst Zermelo proposed the first axiomatic set theory, Zermelo set theory. However, as first pointed out by Abraham Fraenkel in a 1921 letter to Zermelo, this theory was incapable of proving the existence of certain sets and cardinal numbers whose existence was taken for granted by most set theorists of the time, notably, the cardinal number and, where Z0 is any infinite set and is the power set operation, the set {Z0, (Z0), ((Z0)),...} (Ebbinghaus 2007, p. 136). Moreover, one of Zermelo's axioms invoked a concept, that of a "definite" property, whose operational meaning was not clear. In 1922, Fraenkel and Thoralf Skolem independently proposed
ZermeloFraenkel set theory operationalizing a "definite" property as one that could be formulated as a first order theory whose atomic formulas were limited to set membership and identity. They also independently proposed replacing the axiom schema of specification with the axiom schema of replacement. Appending this schema, as well as the axiom of regularity (first proposed by Dimitry Mirimanoff in 1917), to Zermelo set theory yields the theory denoted by ZF. Adding to ZF either the axiom of choice (AC) or a statement that is equivalent to it yields ZFC.
77
The axioms
There are many equivalent formulations of the ZFC axioms; for a rich but somewhat dated discussion of this fact, see Fraenkel et al. (1973). The following particular axiom set is from Kunen (1980). The axioms per se are expressed in the symbolism of first order logic. The associated English prose is only intended to aid the intuition. All formulations of ZFC imply that at least one set exists. Kunen includes an axiom that directly asserts the existence of a set, in addition to the axioms given below (although he notes that he does so only for emphasis (ibid., p. 10)). Its omission here can be justified in two ways. First, in the standard semantics of first-order logic in which ZFC is typically formalized, the domain of discourse must be nonempty. Hence, it is a logical theorem of first-order logic that something exists usually expressed as the assertion that something is identical to itself, x(x=x). Consequently, it is a theorem of every first-order theory that something exists. However, as noted above, because in the intended semantics of ZFC there are only sets, the interpretation of this logical theorem in the context of ZFC is that some set exists. Hence, there is no need for a separate axiom asserting that a set exists. Second, however, even if ZFC is formulated in so-called free logic, in which it is not a theorem that something exists, the axiom of infinity (below) asserts that an infinite set exists. This obviously implies that a set exists and so, once again, it is superfluous to include an axiom asserting as much.
1. Axiom of extensionality
Two sets are equal (are the same set) if they have the same elements.
The converse of this axiom follows from the substitution property of equality. If the background logic does not include equality "=", x=y may be defined as an abbreviation for the following formula (Hatcher 1982, p.138, def.1):
which says that if x and y have the same elements, then they belong to the same sets (Fraenkel et al. 1973).
3. Axiom schema of specification (also called the axiom schema of separation or of restricted comprehension)
If z is a set, and is any property which may characterize the elements x of z, then there is a subset y of z containing those x in z which satisfy the property. The "restriction" to z is necessary to avoid Russell's paradox and its variants. More formally, let be any formula in the language of ZFC with free variables among . So y is not free in . Then:
ZermeloFraenkel set theory In some other axiomatizations of ZF, this axiom is redundant in that it follows from the axiom schema of replacement. The set constructed by the axiom of specification is often denoted using set builder notation. Given a set z and a formula (x) with one free variable x, the set of all x in z that satisfy is denoted
78
The axiom of specification can be used to prove the existence of the empty set, denoted
least one set is established (see above). A common way to do this is to use an instance of specification for a property which all sets do not have. For example, if w is a set which already exists, the empty set can be constructed as . If the background logic includes equality, it is also possible to define the empty set as . Thus the axiom of the empty set is implied by the nine axioms presented here. The axiom of extensionality implies the empty set is unique (does not depend on w). It is common to make a definitional extension that adds the symbol to the language of ZFC.
4. Axiom of pairing
If x and y are sets, then there exists a set which contains x and y as elements.
The axiom schema of specification must be used to reduce this to a set with exactly these two elements. This axiom is part of Z, but is redundant in ZF because it follows from the axiom schema of replacement, if we are given a set with at least two elements. The existence of a set with at least two elements is assured by either the axiom of infinity, or by the axiom schema of specification and the axiom of the power set applied twice to any set.
5. Axiom of union
For any set there is a set A containing every set that is a member of some member of
Less formally, this axiom states that if the domain of a definable function f (represented here by the relation set (denoted here by the set is denoted here by ). The form stated here, in which
) is a
), and f(x) is a set for any x in that domain, then the range of f is a subclass of a set (where may be larger than strictly necessary, is
79
7. Axiom of infinity
Let abbreviate , where is some set (We can see that is is a valid set by applying the Axiom of Pairing with so that the set ). Then there exists a set X such that the empty set is also a member of X.
More colloquially, there exists a set X having infinitely many members. The minimal set X satisfying the axiom of infinity is the von Neumann ordinal , which can also be thought of as the set of natural numbers .
9. Well-ordering theorem
For any set X, there is a binary relation R which well-orders X. This means R is a linear order on X such that every nonempty subset of X has a member which is minimal under R.
Given axioms 1-8, there are many statements provably equivalent to axiom 9, the best known of which is the axiom of choice (AC), which goes as follows. Let X be a set whose members are all non-empty. Then there exists a function f from X to the union of the members of X, called a "choice function", such that for all Y X one has f(Y) Y. Since the existence of a choice function when X is a finite set is easily proved from axioms 18, AC only matters for certain infinite sets. AC is characterized as nonconstructive because it asserts the existence of a choice set but says nothing about how the choice set is to be "constructed." Much research has sought to characterize the definability (or lack thereof) of certain sets whose existence AC asserts.
ZermeloFraenkel set theory The picture of the universe of sets stratified into the cumulative hierarchy is characteristic of ZFC and related axiomatic set theories such as Von NeumannBernaysGdel set theory (often called NBG) and MorseKelley set theory. The cumulative hierarchy is not compatible with other set theories such as New Foundations. It is possible to change the definition of V so that at each stage, instead of adding all the subsets of the union of the previous stages, subsets are only added if they are definable in a certain sense. This results in a more "narrow" hierarchy which gives the constructible universe L, which also satisfies all the axioms of ZFC, including the axiom of choice. It is independent from the ZFC axioms whether V=L. Although the structure of L is more regular and well behaved than that ofV, few mathematicians argue thatV =L should be added to ZFC as an additional axiom.
80
Metamathematics
The axiom schemata of replacement and separation each contain infinitely many instances. Montague (1961) included a result first proved in his 1957 Ph.D. thesis: if ZFC is consistent, it is impossible to axiomatize ZFC using only finitely many axioms. On the other hand, Von NeumannBernaysGdel set theory (NBG) can be finitely axiomatized. The ontology of NBG includes proper classes as well as sets; a set is any class that can be a member of another class. NBG and ZFC are equivalent set theories in the sense that any theorem not mentioning classes and provable in one theory can be proved in the other. Gdel's second incompleteness theorem says that a recursively axiomatizable system that can interpret Robinson arithmetic can prove its own consistency only if it is inconsistent. Moreover, Robinson arithmetic can be interpreted in general set theory, a small fragment of ZFC. Hence the consistency of ZFC cannot be proved within ZFC itself (unless it is actually inconsistent). Thus, to the extent that ZFC is identified with ordinary mathematics, the consistency of ZFC cannot be demonstrated in ordinary mathematics. The consistency of ZFC does follow from the existence of a weakly inaccessible cardinal, which is unprovable in ZFC if ZFC is consistent. Nevertheless, it is deemed unlikely that ZFC harbors an unsuspected contradiction; it is widely believed that if ZFC were inconsistent, that fact would have been uncovered by now. This much is certain ZFC is immune to the classic paradoxes of naive set theory: Russell's paradox, the Burali-Forti paradox, and Cantor's paradox. Abian and LaMacchia (1978) studied a subtheory of ZFC consisting of the axioms of extensionality, union, powerset, replacement, and choice. Using models, they proved this subtheory consistent, and proved that each of the axioms of extensionality, replacement, and power set is independent of the four remaining axioms of this subtheory. If this subtheory is augmented with the axiom of infinity, each of the axioms of union, choice, and infinity is independent of the five remaining axioms. Because there are non-well-founded models that satisfy each axiom of ZFC except the axiom of regularity, that axiom is independent of the other ZFC axioms. If consistent, ZFC cannot prove the existence of the inaccessible cardinals that category theory requires. Huge sets of this nature are possible if ZF is augmented with Tarski's axiom (Tarski 1939). Assuming that axiom turns the axioms of infinity, power set, and choice (7 9 above) into theorems.
Independence in ZFC
Many important statements are independent of ZFC (see list of statements undecidable in ZFC). The independence is usually proved by forcing, whereby it is shown that every countable transitive model of ZFC (sometimes augmented with large cardinal axioms) can be expanded to satisfy the statement in question. A different expansion is then shown to satisfy the negation of the statement. An independence proof by forcing automatically proves independence from arithmetical statements, other concrete statements, and large cardinal axioms. Some statements independent of ZFC can be proven to hold in particular inner models, such as in the constructible universe. However, some statements that are true about constructible sets are not consistent with hypothesized large cardinal axioms. Forcing proves that the following statements are independent of ZFC: Continuum hypothesis
ZermeloFraenkel set theory Diamond principle Suslin hypothesis Martin's axiom (which is not a ZFC axiom) Axiom of Constructibility (V=L) (which is also not a ZFC axiom).
81
Remarks: The consistency of V=L is provable by inner models but not forcing: every model of ZF can be trimmed to become a model of ZFC+V=L. The Diamond Principle implies the Continuum Hypothesis and the negation of the Suslin Hypothesis. Martin's axiom plus the negation of the Continuum Hypothesis implies the Suslin Hypothesis. The constructible universe satisfies the Generalized Continuum Hypothesis, the Diamond Principle, Martin's Axiom and the Kurepa Hypothesis. The failure of the Kurepa hypothesis is equiconsistent with the existence of a strongly inaccessible cardinal. A variation on the method of forcing can also be used to demonstrate the consistency and unprovability of the axiom of choice, i.e., that the axiom of choice is independent of ZF. The consistency of choice can be (relatively) easily verified by proving that the inner model L satisfies choice. (Thus every model of ZF contains a submodel of ZFC, so that Con(ZF) implies Con(ZFC).) Since forcing preserves choice, we cannot directly produce a model contradicting choice from a model satisfying choice. However, we can use forcing to create a model which contains a suitable submodel, namely one satisfying ZF but not C. Another method of proving independence results, one owing nothing to forcing, is based on Gdel's second incompleteness theorem. This approach employs the statement whose independence is being examined, to prove the existence of a set model of ZFC, in which case Con(ZFC) is true. Since ZFC satisfies the conditions of Gdel's second theorem, the consistency of ZFC is unprovable in ZFC (provided that ZFC is, in fact, consistent). Hence no statement allowing such a proof can be proved in ZFC. This method can prove that the existence of large cardinals is not provable in ZFC, but cannot prove that assuming such cardinals, given ZFC, is free of contradiction.
Criticisms
For criticism of set theory in general, see Objections to set theory ZFC has been criticized both for being excessively strong and for being excessively weak, as well as for its failure to capture objects such as proper classes and the universal set. Many mathematical theorems can be proven in much weaker systems than ZFC, such as Peano arithmetic and second order arithmetic (as explored by the program of reverse mathematics). Saunders Mac Lane and Solomon Feferman have both made this point. Some of "mainstream mathematics" (mathematics not directly connected with axiomatic set theory) is beyond Peano arithmetic and second order arithmetic, but still, all such mathematics can be carried out in ZC (Zermelo set theory with choice), another theory weaker than ZFC. Much of the power of ZFC, including the axiom of regularity and the axiom schema of replacement, is included primarily to facilitate the study of the set theory itself. On the other hand, among axiomatic set theories, ZFC is comparatively weak. Unlike New Foundations, ZFC does not admit the existence of a universal set. Hence the universe of sets under ZFC is not closed under the elementary operations of the algebra of sets. Unlike von NeumannBernaysGdel set theory and MorseKelley set theory (MK), ZFC does not admit the existence of proper classes. These ontological restrictions are required for ZFC to avoid Russell's paradox, but critics argue these restrictions make the ZFC axioms fail to capture the informal concept of set. A further comparative weakness of ZFC is that the axiom of choice included in ZFC is weaker than the axiom of global choice included in MK. There are numerous mathematical statements undecidable in ZFC. These include the continuum hypothesis, the Whitehead problem, and the Normal Moore space conjecture. Some of these conjectures are provable with the
ZermeloFraenkel set theory addition of axioms such as Martin's axiom, large cardinal axioms to ZFC. Some others are decided in ZF+AD where AD is the axiom of determinacy, a strong supposition incompatible with choice. One attraction of large cardinal axioms is that they enable many results from ZF+AD to be established in ZFC adjoined by some large cardinal axiom (see projective determinacy). The Mizar system has adopted TarskiGrothendieck set theory instead of ZFC so that proofs involving Grothendieck universes (encountered in category theory and algebraic geometry) can be formalized.
82
References
Alexander Abian, 1965. The Theory of Sets and Transfinite Arithmetic. W B Saunders. -------- and LaMacchia, Samuel, 1978, "On the Consistency and Independence of Some Set-Theoretical Axioms, [1] " Notre Dame Journal of Formal Logic 19: 155-58. Keith Devlin, 1996 (1984). The Joy of Sets. Springer. Heinz-Dieter Ebbinghaus, 2007. Ernst Zermelo: An Approach to His Life and Work. Springer. ISBN 978-3-540-49551-2. Abraham Fraenkel, Yehoshua Bar-Hillel, and Azriel Levy, 1973 (1958). Foundations of Set Theory. North-Holland. Fraenkel's final word on ZF and ZFC. Hatcher, William, 1982 (1968). The Logical Foundations of Mathematics. Pergamon Press. Peter Hinman, 2005, Fundamentals of Mathematical Logic, A K Peters. ISBN 978-1-56881-262-5 Thomas Jech, 2003. Set Theory: The Third Millennium Edition, Revised and Expanded. Springer. ISBN 3-540-44085-2. Kenneth Kunen, 1980. Set Theory: An Introduction to Independence Proofs. Elsevier. ISBN 0-444-86839-9. Richard Montague, 1961, "Semantic closure and non-finite axiomatizability" in Infinistic Methods. London: Pergamon Press: 4569. Patrick Suppes, 1972 (1960). Axiomatic Set Theory. Dover reprint. Perhaps the best exposition of ZFC before the independence of AC and the Continuum hypothesis, and the emergence of large cardinals. Includes many theorems. Gaisi Takeuti and Zaring, W M, 1971. Introduction to Axiomatic Set Theory. Springer-Verlag. Alfred Tarski, 1939, "On well-ordered subsets of any set,", Fundamenta Mathematicae 32: 176-83. Tiles, Mary, 2004 (1989). The Philosophy of Set Theory. Dover reprint. Weak on metatheory; the author is not a mathematician. Tourlakis, George, 2003. Lectures in Logic and Set Theory, Vol. 2. Cambridge University Press. Jean van Heijenoort, 1967. From Frege to Gdel: A Source Book in Mathematical Logic, 18791931. Harvard University Press. Includes annotated English translations of the classic articles by Zermelo, Fraenkel, and Skolem bearing on ZFC. Zermelo, Ernst (1908), "Untersuchungen ber die Grundlagen der Mengenlehre I", Mathematische Annalen 65: 261281, doi:10.1007/BF01449999 English translation in *Heijenoort, Jean van (1967), "Investigations in the foundations of set theory", From Frege to Gdel: A Source Book in Mathematical Logic, 18791931, Source Books in the History of the Sciences, Harvard University Press, pp.199215, ISBN978-0-674-32449-7 Zermelo, Ernst (1930), "ber Grenzzahlen und Mengenbereiche" [2], Fundamenta Mathematicae 16: 2947, ISSN0016-2736
83
External links
Hazewinkel, Michiel, ed. (2001), "ZFC" [3], Encyclopedia of Mathematics, Springer, ISBN978-1-55608-010-4 Stanford Encyclopedia of Philosophy articles by Thomas Jech: Set Theory [4]; Axioms of ZermeloFraenkel Set Theory [5]. Metamath version of the ZFC axioms [6] A concise and nonredundant axiomatization. The background first order logic is defined especially to facilitate machine verification of proofs. A derivation [7] in Metamath of a version of the separation schema from a version of the replacement schema. Zermelo-Fraenkel Axioms [8], [Link].
References
[1] [2] [3] [4] [5] [6] http:/ / projecteuclid. org/ DPubS/ Repository/ 1. 0/ Disseminate?view=body& id=pdf_1& handle=euclid. ndjfl/ 1093888220 http:/ / matwbn. icm. edu. pl/ tresc. php?wyd=1& tom=16 http:/ / www. encyclopediaofmath. org/ index. php?title=p/ z130100 http:/ / plato. stanford. edu/ entries/ set-theory/ http:/ / plato. stanford. edu/ entries/ set-theory/ ZF. html http:/ / us. metamath. org/ mpegif/ mmset. html#staxioms
[7] http:/ / us. metamath. org/ mpegif/ axsep. html [8] http:/ / planetmath. org/ ?op=getobj& amp;from=objects& amp;id=317
Counting zeros
From a more advanced point of view: every zero of a vector field has a (non-zero) "index", and it can be shown that the sum of all of the indices at all of the zeros must be two. (This is because the Euler characteristic of the 2-sphere is two.) Therefore there must be at least one zero. This is a consequence of the PoincarHopf theorem. In the case of the torus, the Euler characteristic is 0; and it is possible to "comb a hairy doughnut flat". In this regard, it follows that for any compact regular 2-dimensional manifold with non-zero Euler characteristic, any continuous tangent vector field has at least one zero.
84
Cyclone consequences
A curious meteorological application of this theorem involves considering the wind as a vector defined at every point continuously over the surface of a planet with an atmosphere. As an idealisation, take wind to be a two-dimensional vector: suppose that relative to the planetary diameter of the Earth, its vertical (i.e., non-tangential) motion is negligible. One scenario, in which there is absolutely no wind (air movement), corresponds to a field of zero-vectors. This scenario is uninteresting from the point of view of this theorem, and physically unrealistic (there will always be wind). In the case where there is at least some wind, the Hairy Ball Theorem dictates that at all times there must be at least one point on a planet with no wind at all and therefore a tuft. This corresponds to the above statement that there will always be p such that f(p) = 0. In a physical sense, this zero-wind point will be the eye of a cyclone or anticyclone. (Like the swirled hairs on the tennis ball, the wind will spiral around this zero-wind point - under our assumptions it cannot flow into or out of the point.) In brief, then, the Hairy Ball Theorem dictates that, given at least some wind on Earth, there must at all times be a cyclone somewhere. Note that the eye can be arbitrarily large or small and the magnitude of the wind surrounding it is irrelevant.
A hairy doughnut (2-torus), on the other hand, is quite easily combable.
A continuous tangent vector field on a 2-sphere with only one pole, in this case a dipole field with index 2. See also an animated version of this graphic.
This is not strictly true as the air above the earth has multiple layers, but for each layer there must be a point with zero horizontal windspeed.
Lefschetz connection
There is a closely related argument from algebraic topology, using the Lefschetz fixed point theorem. Since the Betti numbers of a 2-sphere are 1, 0, 1, 0, 0, ... the Lefschetz number (total trace on homology) of the identity mapping is 2. By integrating a vector field we get (at least a small part of) a one-parameter group of diffeomorphisms on the sphere; and all of the mappings in it are homotopic to the identity. Therefore they all have Lefschetz number 2, also. Hence they have fixed points (since the Lefschetz number is nonzero). Some more work would be needed to show
Hairy ball theorem that this implies there must actually be a zero of the vector field. It does suggest the correct statement of the more general Poincar-Hopf index theorem.
85
Corollary
A consequence of the hairy ball theorem is that any continuous function that maps an even-dimensional sphere into itself has either a fixed point or a point that maps onto its own antipodal point. This can be seen by transforming the function into a tangential vector field as follows. Let s be the function mapping the sphere to itself, and let v be the tangential vector function to be constructed. For each point p, construct the stereographic projection of s(p) with p as the point of tangency. Then v(p) is the displacement vector of this projected point relative to p. According to the hairy ball theorem, there is a p such that v(p) = 0, so that s(p) = p. This argument breaks down only if there exists a point p for which s(p) is the antipodal point of p, since such a point is the only one that cannot be stereographically projected onto the tangent plane of p.
Higher dimensions
The connection with the Euler characteristic suggests the correct generalisation: the 2n-sphere has no non-vanishing vector field for n 1. The difference in even and odd dimension is that the Betti numbers of the m-sphere are 0 except in dimensions 0 and m. Therefore their alternating sum is 2 for m even, and 0 for m odd.
Notes
[1] Georg-August-Universitt Gttingen (http:/ / dz-srv1. sub. uni-goettingen. de/ sub/ digbib/ loader?ht=VIEW& did=D28661)
References
Murray Eisenberg, Robert Guy, A Proof of the Hairy Ball Theorem, The American Mathematical Monthly, Vol. 86, No. 7 (Aug. - Sep., 1979), pp.571574
Further reading
Tyler Jarvis and James Tanton (2003-07-23) (PDF). The Hairy Ball Theorem via Sperner's Lemma ([Link] [Link]/~jarvis/[Link]). Richeson, David S. (2008). Euler's Gem: The Polyhedron Formula and the Birth of Topology ([Link] [Link]/). Princeton University Press. ISBN0-691-12677-1.. See Chapter 19, "Combing the Hair on a Coconut", pp.202218. Reich, Henry (2011). "One-Minute Math: Why you can't comb a hairy ball" ([Link] blogs/nstv/2011/12/[Link]). New ScentistTV.
General relativity
86
General relativity
General relativity, or the general theory of relativity, is the geometric theory of gravitation published by Albert Einstein in 1916[1] and the current description of gravitation in modern physics. General relativity generalises special relativity and Newton's law of universal gravitation, providing a unified description of gravity as a geometric property of space and time, or spacetime. In particular, the curvature of spacetime is directly related to the energy and momentum of whatever matter and radiation are present. The relation is specified by the Einstein field equations, a system of partial differential equations.
A simulated black hole of 10 solar masses as seen Some predictions of general relativity differ significantly from those of from a distance of 600kilometers with the Milky classical physics, especially concerning the passage of time, the Way in the background. geometry of space, the motion of bodies in free fall, and the propagation of light. Examples of such differences include gravitational time dilation, gravitational lensing, the gravitational redshift of light, and the gravitational time delay. The predictions of general relativity have been confirmed in all observations and experiments to date. Although general relativity is not the only relativistic theory of gravity, it is the simplest theory that is consistent with experimental data. However, unanswered questions remain, the most fundamental being how general relativity can be reconciled with the laws of quantum physics to produce a complete and self-consistent theory of quantum gravity.
Einstein's theory has important astrophysical implications. For example, it implies the existence of black holesregions of space in which space and time are distorted in such a way that nothing, not even light, can escapeas an end-state for massive stars. There is ample evidence that the intense radiation emitted by certain kinds of astronomical objects is due to black holes; for example, microquasars and active galactic nuclei result from the presence of stellar black holes and black holes of a much more massive type, respectively. The bending of light by gravity can lead to the phenomenon of gravitational lensing, in which multiple images of the same distant astronomical object are visible in the sky. General relativity also predicts the existence of gravitational waves, which have since been observed indirectly; a direct measurement is the aim of projects such as LIGO and NASA/ESA Laser Interferometer Space Antenna and various pulsar timing arrays. In addition, general relativity is the basis of current cosmological models of a consistently expanding universe.
General relativity
87
History
Soon after publishing the special theory of relativity in 1905, Einstein started thinking about how to incorporate gravity into his new relativistic framework. In 1907, beginning with a simple thought experiment involving an observer in free fall, he embarked on what would be an eight-year search for a relativistic theory of gravity. After numerous detours and false starts, his work culminated in the presentation to the Prussian Academy of Science in November 1915 of what are now known as the Einstein field equations. These equations specify how the geometry of space and time is influenced by whatever matter is present, and form the core of Einstein's general theory of relativity.[2] The Einstein field equations are nonlinear and very difficult to solve. Einstein used approximation methods in working out initial predictions of the theory. But as early as 1916, the astrophysicist Karl Schwarzschild found the first non-trivial exact solution to the Einstein field equations, the so-called Schwarzschild metric. This Albert Einstein developed the theories of special and general relativity. Picture from 1921. solution laid the groundwork for the description of the final stages of gravitational collapse, and the objects known today as black holes. In the same year, the first steps towards generalizing Schwarzschild's solution to electrically charged objects were taken, which eventually resulted in the ReissnerNordstrm solution, now associated with electrically charged black holes.[3] In 1917, Einstein applied his theory to the universe as a whole, initiating the field of relativistic cosmology. In line with contemporary thinking, he assumed a static universe, adding a new parameter to his original field equationsthe cosmological constantto reproduce that "observation".[4] By 1929, however, the work of Hubble and others had shown that our universe is expanding. This is readily described by the expanding cosmological solutions found by Friedmann in 1922, which do not require a cosmological constant. Lematre used these solutions to formulate the earliest version of the Big Bang models, in which our universe has evolved from an extremely hot and dense earlier state.[5] Einstein later declared the cosmological constant the biggest blunder of his life.[6] During that period, general relativity remained something of a curiosity among physical theories. It was clearly superior to Newtonian gravity, being consistent with special relativity and accounting for several effects unexplained by the Newtonian theory. Einstein himself had shown in 1915 how his theory explained the anomalous perihelion advance of the planet Mercury without any arbitrary parameters ("fudge factors").[7] Similarly, a 1919 expedition led by Eddington confirmed general relativity's prediction for the deflection of starlight by the Sun during the total solar eclipse of May 29, 1919,[8] making Einstein instantly famous.[9] Yet the theory entered the mainstream of theoretical physics and astrophysics only with the developments between approximately 1960 and 1975, now known as the golden age of general relativity.[10] Physicists began to understand the concept of a black hole, and to identify quasars as one of these objects' astrophysical manifestations.[11] Ever more precise solar system tests confirmed the theory's predictive power,[12] and relativistic cosmology, too, became amenable to direct observational tests.[13]
General relativity
88
Conversely, one might expect that inertial motions, once identified by observing the actual motions of bodies and making allowances for the external forces (such as electromagnetism or friction), can be used to define the geometry of space, as well as a time coordinate. However, there is an ambiguity once gravity comes into play. According to Newton's law of gravity, and independently verified by experiments such as that of Etvs and its successors (see Etvs experiment), there is a universality of free fall (also known as the weak equivalence principle, or the universal equality of inertial and passive-gravitational mass): the trajectory of a test body in free fall depends only on its position and initial speed, but not on any of its material properties.[17] A simplified version of this is embodied in Einstein's elevator experiment, illustrated in the figure on the right: for an observer in a small enclosed room, it is impossible to decide, by mapping the trajectory of bodies such as a dropped ball, whether the room is at rest in a gravitational field, or in free space aboard an accelerating rocket generating a force equal to gravity.[18] Given the universality of free fall, there is no observable distinction between inertial motion and motion under the influence of the gravitational force. This suggests the definition of a new class of inertial motion, namely that of objects in free fall under the influence of gravity. This new class of preferred motions, too, defines a geometry of space and timein mathematical terms, it is the geodesic motion associated with a specific connection which depends on the gradient of the gravitational potential. Space, in this construction, still has the ordinary Euclidean geometry. However, spacetime as a whole is more complicated. As can be shown using simple thought experiments following the free-fall trajectories of different test particles, the result of transporting spacetime vectors that can denote a particle's velocity (time-like vectors) will vary with the particle's trajectory; mathematically speaking, the Newtonian connection is not integrable. From this, one can deduce that spacetime is curved. The result is a geometric formulation of Newtonian gravity using only covariant concepts, i.e. a description which is valid in any desired coordinate system.[19] In this geometric description, tidal effectsthe relative acceleration of bodies in free fallare related to the derivative of the connection, showing how the modified geometry is caused by the presence of mass.[20]
According to general relativity, objects in a gravitational field behave similarly to objects within an accelerating enclosure. For example, an observer will see a ball fall the same way in a rocket (left) as it does on Earth (right), provided that the acceleration of the rocket provides the same relative force.
General relativity
89
Relativistic generalization
As intriguing as geometric Newtonian gravity may be, its basis, classical mechanics, is merely a limiting case of (special) relativistic mechanics.[21] In the language of symmetry: where gravity can be neglected, physics is Lorentz invariant as in special relativity rather than Galilei invariant as in classical mechanics. (The defining symmetry of special relativity is the Poincar group which also includes translations and rotations.) The differences between the two become significant when we are dealing with speeds approaching the speed of light, and with high-energy phenomena.[22] With Lorentz symmetry, additional structures come into play. They are defined by the set of light cones (see the image on the left). The light-cones define a causal structure: for each event A, there is a set of events that can, in principle, either influence or be influenced by A via signals or interactions that do not need to travel faster than light (such as event B in the image), and a set of events for Light cone which such an influence is impossible (such as event C in the image). These sets are observer-independent.[23] In conjunction with the world-lines of freely falling particles, the light-cones can be used to reconstruct the spacetime's semi-Riemannian metric, at least up to a positive scalar factor. In mathematical terms, this defines a conformal structure.[24] Special relativity is defined in the absence of gravity, so for practical applications, it is a suitable model whenever gravity can be neglected. Bringing gravity into play, and assuming the universality of free fall, an analogous reasoning as in the previous section applies: there are no global inertial frames. Instead there are approximate inertial frames moving alongside freely falling particles. Translated into the language of spacetime: the straight time-like lines that define a gravity-free inertial frame are deformed to lines that are curved relative to each other, suggesting that the inclusion of gravity necessitates a change in spacetime geometry.[25] A priori, it is not clear whether the new local frames in free fall coincide with the reference frames in which the laws of special relativity holdthat theory is based on the propagation of light, and thus on electromagnetism, which could have a different set of preferred frames. But using different assumptions about the special-relativistic frames (such as their being earth-fixed, or in free fall), one can derive different predictions for the gravitational redshift, that is, the way in which the frequency of light shifts as the light propagates through a gravitational field (cf. below). The actual measurements show that free-falling frames are the ones in which light propagates as it does in special relativity.[26] The generalization of this statement, namely that the laws of special relativity hold to good approximation in freely falling (and non-rotating) reference frames, is known as the Einstein equivalence principle, a crucial guiding principle for generalizing special-relativistic physics to include gravity.[27] The same experimental data shows that time as measured by clocks in a gravitational fieldproper time, to give the technical termdoes not follow the rules of special relativity. In the language of spacetime geometry, it is not measured by the Minkowski metric. As in the Newtonian case, this is suggestive of a more general geometry. At small scales, all reference frames that are in free fall are equivalent, and approximately Minkowskian. Consequently, we are now dealing with a curved generalization of Minkowski space. The metric tensor that defines the geometryin particular, how lengths and angles are measuredis not the Minkowski metric of special relativity, it is a generalization known as a semi- or pseudo-Riemannian metric. Furthermore, each Riemannian metric is naturally associated with one particular kind of connection, the Levi-Civita connection, and this is, in fact, the connection that satisfies the equivalence principle and makes space locally Minkowskian (that is, in suitable locally inertial coordinates, the metric is Minkowskian, and its first partial derivatives and the connection coefficients vanish).[28]
General relativity
90
Einstein's equations
Having formulated the relativistic, geometric version of the effects of gravity, the question of gravity's source remains. In Newtonian gravity, the source is mass. In special relativity, mass turns out to be part of a more general quantity called the energymomentum tensor, which includes both energy and momentum densities as well as stress (that is, pressure and shear).[29] Using the equivalence principle, this tensor is readily generalized to curved space-time. Drawing further upon the analogy with geometric Newtonian gravity, it is natural to assume that the field equation for gravity relates this tensor and the Ricci tensor, which describes a particular class of tidal effects: the change in volume for a small cloud of test particles that are initially at rest, and then fall freely. In special relativity, conservation of energymomentum corresponds to the statement that the energymomentum tensor is divergence-free. This formula, too, is readily generalized to curved spacetime by replacing partial derivatives with their curved-manifold counterparts, covariant derivatives studied in differential geometry. With this additional conditionthe covariant divergence of the energymomentum tensor, and hence of whatever is on the other side of the equation, is zero the simplest set of equations are what are called Einstein's (field) equations:
On the left-hand side is the Einstein tensor, a specific divergence-free combination of the Ricci tensor metric. In particular, is the curvature scalar. The Ricci tensor itself is related to the more general Riemann curvature tensor as
and the
On the right-hand side, Tab is the energymomentum tensor. All tensors are written in abstract index notation.[30] Matching the theory's prediction to observational results for planetary orbits (or, equivalently, assuring that the weak-gravity, low-speed limit is Newtonian mechanics), the proportionality constant can be fixed as = 8G/c4, with G the gravitational constant and c the speed of light.[31] When there is no matter present, so that the energymomentum tensor vanishes, the result are the vacuum Einstein equations,
There are alternatives to general relativity built upon the same premises, which include additional rules and/or constraints, leading to different field equations. Examples are BransDicke theory, teleparallelism, and EinsteinCartan theory.[32]
General relativity While general relativity replaces the scalar gravitational potential of classical physics by a symmetric rank-two tensor, the latter reduces to the former in certain limiting cases. For weak gravitational fields and slow speed relative to the speed of light, the theory's predictions converge on those of Newton's law of universal gravitation.[36] As it is constructed using tensors, general relativity exhibits general covariance: its lawsand further laws formulated within the general relativistic frameworktake on the same form in all coordinate systems.[37] Furthermore, the theory does not contain any invariant geometric background structures, i.e. it is background independent. It thus satisfies a more stringent general principle of relativity, namely that the laws of physics are the same for all observers.[38] Locally, as expressed in the equivalence principle, spacetime is Minkowskian, and the laws of physics exhibit local Lorentz invariance.[39]
91
Model-building
The core concept of general-relativistic model-building is that of a solution of Einstein's equations. Given both Einstein's equations and suitable equations for the properties of matter, such a solution consists of a specific semi-Riemannian manifold (usually defined by giving the metric in specific coordinates), and specific matter fields defined on that manifold. Matter and geometry must satisfy Einstein's equations, so in particular, the matter's energymomentum tensor must be divergence-free. The matter must, of course, also satisfy whatever additional equations were imposed on its properties. In short, such a solution is a model universe that satisfies the laws of general relativity, and possibly additional laws governing whatever matter might be present.[40] Einstein's equations are nonlinear partial differential equations and, as such, difficult to solve exactly.[41] Nevertheless, a number of exact solutions are known, although only a few have direct physical applications.[42] The best-known exact solutions, and also those most interesting from a physics point of view, are the Schwarzschild solution, the ReissnerNordstrm solution and the Kerr metric, each corresponding to a certain type of black hole in an otherwise empty universe,[43] and the FriedmannLematreRobertsonWalker and de Sitter universes, each describing an expanding cosmos.[44] Exact solutions of great theoretical interest include the Gdel universe (which opens up the intriguing possibility of time travel in curved spacetimes), the Taub-NUT solution (a model universe that is homogeneous, but anisotropic), and Anti-de Sitter space (which has recently come to prominence in the context of what is called the Maldacena conjecture).[45] Given the difficulty of finding exact solutions, Einstein's field equations are also solved frequently by numerical integration on a computer, or by considering small perturbations of exact solutions. In the field of numerical relativity, powerful computers are employed to simulate the geometry of spacetime and to solve Einstein's equations for interesting situations such as two colliding black holes.[46] In principle, such methods may be applied to any system, given sufficient computer resources, and may address fundamental questions such as naked singularities. Approximate solutions may also be found by perturbation theories such as linearized gravity[47] and its generalization, the post-Newtonian expansion, both of which were developed by Einstein. The latter provides a systematic approach to solving for the geometry of a spacetime that contains a distribution of matter that moves slowly compared with the speed of light. The expansion involves a series of terms; the first terms represent Newtonian gravity, whereas the later terms represent ever smaller corrections to Newton's theory due to general relativity.[48] An extension of this expansion is the parametrized post-Newtonian (PPN) formalism, which allows quantitative comparisons between the predictions of general relativity and alternative theories.[49]
General relativity
92
Deflection of light (sent out from the location shown in blue) near a compact body (shown in gray)
Closely related to light deflection is the gravitational time delay (or Shapiro delay), the phenomenon that light signals take longer to move through a gravitational field than they would in the absence of that field. There have been numerous successful tests of this prediction.[64] In the parameterized post-Newtonian formalism (PPN), measurements of both the deflection of light and the gravitational time delay determine a parameter called , which encodes the influence of gravity on the geometry of space.[65]
General relativity
93
Gravitational waves
One of several analogies between weak-field gravity and electromagnetism is that, analogous to electromagnetic waves, there are gravitational waves: ripples in the metric of spacetime that propagate at the speed of light.[66] The simplest type of such a wave can be visualized by its action on a ring of freely floating particles. A sine wave propagating through such a ring towards the reader distorts the ring in a characteristic, rhythmic fashion (animated image to the right).[67] Since Einstein's equations are non-linear, arbitrarily strong gravitational waves do not obey linear superposition, making their description difficult. However, for weak fields, a linear approximation can be made. Such linearized gravitational waves are sufficiently accurate to describe the exceedingly weak waves that are expected to arrive here on Earth from far-off cosmic events, which typically result in relative distances increasing and decreasing by or less.
Data-analysis methods routinely make use of the fact that these linearized waves can be Fourier decomposed.[68] Some exact solutions describe gravitational waves without any approximation, e.g., a wave train traveling through empty space[69] or so-called Gowdy universes, varieties of an expanding cosmos filled with gravitational waves.[70] But for gravitational waves produced in astrophysically relevant situations, such as the merger of two black holes, numerical methods are presently the only way to construct appropriate models.[71]
General relativity Orbital decay According to general relativity, a binary system will emit gravitational waves, thereby losing energy. Due to this loss, the distance between the two orbiting bodies decreases, and so does their orbital period. Within the solar system or for ordinary double stars, the effect is too small to be observable. This is not the case for a close binary pulsar, a system of two orbiting neutron stars, one of which is a pulsar: from the pulsar, observers on Earth receive a regular series of radio pulses that can serve as a highly accurate clock, which allows precise measurements of the orbital period. Since the neutron stars are very compact, significant amounts of energy are emitted in the form of gravitational radiation.[79] The first observation of a decrease in orbital period due to the emission of gravitational waves was made by Hulse and Taylor, using the binary Orbital decay for PSR1913+16: time shift in pulsar PSR1913+16 they had discovered in 1974. This was the first [78] seconds, tracked over three decades. detection of gravitational waves, albeit indirect, for which they were awarded the 1993 Nobel Prize in physics.[80] Since then, several other binary pulsars have been found, in particular the double pulsar PSR J0737-3039, in which both stars are pulsars.[81] Geodetic precession and frame-dragging Several relativistic effects are directly related to the relativity of direction.[82] One is geodetic precession: the axis direction of a gyroscope in free fall in curved spacetime will change when compared, for instance, with the direction of light received from distant starseven though such a gyroscope represents the way of keeping a direction as stable as possible ("parallel transport").[83] For the MoonEarth system, this effect has been measured with the help of lunar laser ranging.[84] More recently, it has been measured for test masses aboard the satellite Gravity Probe B to a precision of better than 0.3%.[85][86] Near a rotating mass, there are so-called gravitomagnetic or frame-dragging effects. A distant observer will determine that objects close to the mass get "dragged around". This is most extreme for rotating black holes where, for any object entering a zone known as the ergosphere, rotation is inevitable.[87] Such effects can again be tested through their influence on the orientation of gyroscopes in free fall.[88] Somewhat controversial tests have been performed using the LAGEOS satellites, confirming the relativistic prediction.[89] Also the Mars Global Surveyor probe around Mars has been used.[90][91]
94
General relativity
95
Astrophysical applications
Gravitational lensing
The deflection of light by gravity is responsible for a new class of astronomical phenomena. If a massive object is situated between the astronomer and a distant target object with appropriate mass and relative distances, the astronomer will see multiple distorted images of the target. Such effects are known as gravitational lensing.[92] Depending on the configuration, scale, and mass distribution, there can be two or more images, a bright ring known as an Einstein ring, or partial rings called arcs.[93] The earliest example was discovered in 1979;[94] since then, more than a hundred gravitational lenses have been observed.[95] Even if the multiple images are too close to each other to be resolved, the effect can still be measured, e.g., as an overall brightening of the target object; a number of such "microlensing events" have been observed.[96]
Einstein cross: four images of the same astronomical object, produced by a gravitational lens
Gravitational lensing has developed into a tool of observational astronomy. It is used to detect the presence and distribution of dark matter, provide a "natural telescope" for observing distant galaxies, and to obtain an independent estimate of the Hubble constant. Statistical evaluations of lensing data provide valuable insight into the structural evolution of galaxies.[97]
General relativity
96
Cosmology
The current models of cosmology are based on Einstein's field equations, which include the cosmological constant since it has important influence on the large-scale dynamics of the cosmos,
where gab is the spacetime metric.[115] Isotropic and homogeneous solutions of these enhanced equations, the FriedmannLematreRobertsonWalker solutions,[116] allow physicists to model a universe that has evolved over the past This blue horseshoe is a distant galaxy that has 14billionyears from a hot, early Big Bang phase.[117] Once a small been magnified and warped into a nearly number of parameters (for example the universe's mean matter density) complete ring by the strong gravitational pull of have been fixed by astronomical observation,[118] further observational the massive foreground luminous red galaxy. data can be used to put the models to the test.[119] Predictions, all successful, include the initial abundance of chemical elements formed in a period of primordial nucleosynthesis,[120] the large-scale structure of the universe,[121] and the existence and properties of a "thermal echo" from the early cosmos, the cosmic background radiation.[122] Astronomical observations of the cosmological expansion rate allow the total amount of matter in the universe to be estimated, although the nature of that matter remains mysterious in part. About 90% of all matter appears to be
General relativity so-called dark matter, which has mass (or, equivalently, gravitational influence), but does not interact electromagnetically and, hence, cannot be observed directly.[123] There is no generally accepted description of this new kind of matter, within the framework of known particle physics[124] or otherwise.[125] Observational evidence from redshift surveys of distant supernovae and measurements of the cosmic background radiation also show that the evolution of our universe is significantly influenced by a cosmological constant resulting in an acceleration of cosmic expansion or, equivalently, by a form of energy with an unusual equation of state, known as dark energy, the nature of which remains unclear.[126] A so-called inflationary phase,[127] an additional phase of strongly accelerated expansion at cosmic times of around seconds, was hypothesized in 1980 to account for several puzzling observations that were unexplained by classical cosmological models, such as the nearly perfect homogeneity of the cosmic background radiation.[128] Recent measurements of the cosmic background radiation have resulted in the first evidence for this scenario.[129] However, there is a bewildering variety of possible inflationary scenarios, which cannot be restricted by current observations.[130] An even larger question is the physics of the earliest universe, prior to the inflationary phase and close to where the classical models predict the big bang singularity. An authoritative answer would require a complete theory of quantum gravity, which has not yet been developed[131] (cf. the section on quantum gravity, below).
97
Advanced concepts
Causal structure and global geometry
In general relativity, no material body can catch up with or overtake a light pulse. No influence from an event A can reach any other location X before light sent out at A to X. In consequence, an exploration of all light worldlines (null geodesics) yields key information about the spacetime's causal structure. This structure can be displayed using PenroseCarter diagrams in which infinitely large regions of space and infinite time intervals are shrunk ("compactified") so as to fit onto a finite map, while light still travels along diagonals as in standard spacetime diagrams.[132] Aware of the importance of causal structure, Roger Penrose and others PenroseCarter diagram of an infinite Minkowski developed what is known as global geometry. In global geometry, the universe object of study is not one particular solution (or family of solutions) to Einstein's equations. Rather, relations that hold true for all geodesics, such as the Raychaudhuri equation, and additional non-specific assumptions about the nature of matter (usually in the form of so-called energy conditions) are used to derive general results.[133]
Horizons
Using global geometry, some spacetimes can be shown to contain boundaries called horizons, which demarcate one region from the rest of spacetime. The best-known examples are black holes: if mass is compressed into a sufficiently compact region of space (as specified in the hoop conjecture, the relevant length scale is the Schwarzschild radius[134]), no light from inside can escape to the outside. Since no object can overtake a light pulse, all interior matter is imprisoned as well. Passage from the exterior to the interior is still possible, showing that the boundary, the black hole's horizon, is not a physical barrier.[135]
General relativity
98 Early studies of black holes relied on explicit solutions of Einstein's equations, notably the spherically symmetric Schwarzschild solution (used to describe a static black hole) and the axisymmetric Kerr solution (used to describe a rotating, stationary black hole, and introducing interesting features such as the ergosphere). Using global geometry, later studies have revealed more general properties of black holes. In the long run, they are rather simple objects characterized by eleven parameters specifying energy, linear momentum, angular momentum, location at a specified time and electric charge. This is stated by the black hole uniqueness theorems: "black holes have no hair", that is, no distinguishing marks like the hairstyles of humans. Irrespective of the complexity of a gravitating object collapsing to form a black hole, the object that results (having emitted gravitational waves) is very simple.[136]
The ergosphere of a rotating black hole, which plays a key role when it comes to extracting energy from such a black hole
Even more remarkably, there is a general set of laws known as black hole mechanics, which is analogous to the laws of thermodynamics. For instance, by the second law of black hole mechanics, the area of the event horizon of a general black hole will never decrease with time, analogous to the entropy of a thermodynamic system. This limits the energy that can be extracted by classical means from a rotating black hole (e.g. by the Penrose process).[137] There is strong evidence that the laws of black hole mechanics are, in fact, a subset of the laws of thermodynamics, and that the black hole area is proportional to its entropy.[138] This leads to a modification of the original laws of black hole mechanics: for instance, as the second law of black hole mechanics becomes part of the second law of thermodynamics, it is possible for black hole area to decreaseas long as other processes ensure that, overall, entropy increases. As thermodynamical objects with non-zero temperature, black holes should emit thermal radiation. Semi-classical calculations indicate that indeed they do, with the surface gravity playing the role of temperature in Planck's law. This radiation is known as Hawking radiation (cf. the quantum theory section, below).[139] There are other types of horizons. In an expanding universe, an observer may find that some regions of the past cannot be observed ("particle horizon"), and some regions of the future cannot be influenced (event horizon).[140] Even in flat Minkowski space, when described by an accelerated observer (Rindler space), there will be horizons associated with a semi-classical radiation known as Unruh radiation.[141]
Singularities
Another generaland quite disturbingfeature of general relativity is the appearance of spacetime boundaries known as singularities. Spacetime can be explored by following up on timelike and lightlike geodesicsall possible ways that light and particles in free fall can travel. But some solutions of Einstein's equations have "ragged edges"regions known as spacetime singularities, where the paths of light and falling particles come to an abrupt end, and geometry becomes ill-defined. In the more interesting cases, these are "curvature singularities", where geometrical quantities characterizing spacetime curvature, such as the Ricci scalar, take on infinite values.[142] Well-known examples of spacetimes with future singularitieswhere worldlines endare the Schwarzschild solution, which describes a singularity inside an eternal static black hole,[143] or the Kerr solution with its ring-shaped singularity inside an eternal rotating black hole.[144] The FriedmannLematreRobertsonWalker solutions and other spacetimes describing universes have past singularities on which worldlines begin, namely Big Bang singularities, and some have future singularities (Big Crunch) as well.[145] Given that these examples are all highly symmetricand thus simplifiedit is tempting to conclude that the occurrence of singularities is an artifact of idealization.[146] The famous singularity theorems, proved using the methods of global geometry, say otherwise: singularities are a generic feature of general relativity, and unavoidable
General relativity once the collapse of an object with realistic matter properties has proceeded beyond a certain stage[147] and also at the beginning of a wide class of expanding universes.[148] However, the theorems say little about the properties of singularities, and much of current research is devoted to characterizing these entities' generic structure (hypothesized e.g. by the so-called BKL conjecture).[149] The cosmic censorship hypothesis states that all realistic future singularities (no perfect symmetries, matter with realistic properties) are safely hidden away behind a horizon, and thus invisible to all distant observers. While no formal proof yet exists, numerical simulations offer supporting evidence of its validity.[150]
99
Evolution equations
Each solution of Einstein's equation encompasses the whole history of a universe it is not just some snapshot of how things are, but a whole, possibly matter-filled, spacetime. It describes the state of matter and geometry everywhere and at every moment in that particular universe. Due to its general covariance, Einstein's theory is not sufficient by itself to determine the time evolution of the metric tensor. It must be combined with a coordinate condition, which is analogous to gauge fixing in other field theories.[151] To understand Einstein's equations as partial differential equations, it is helpful to formulate them in a way that describes the evolution of the universe over time. This is done in so-called "3+1" formulations, where spacetime is split into three space dimensions and one time dimension. The best-known example is the ADM formalism.[152] These decompositions show that the spacetime evolution equations of general relativity are well-behaved: solutions always exist, and are uniquely defined, once suitable initial conditions have been specified.[153] Such formulations of Einstein's field equations are the basis of numerical relativity.[154]
General relativity a curved background spacetime, and define a generalized quantum field theory to describe the behavior of quantum matter within that spacetime.[164] Using this formalism, it can be shown that black holes emit a blackbody spectrum of particles known as Hawking radiation, leading to the possibility that they evaporate over time.[165] As briefly mentioned above, this radiation plays an important role for the thermodynamics of black holes.[166]
100
Quantum gravity
The demand for consistency between a quantum description of matter and a geometric description of spacetime,[167] as well as the appearance of singularities (where curvature length scales become microscopic), indicate the need for a full theory of quantum gravity: for an adequate description of the interior of black holes, and of the very early universe, a theory is required in which gravity and the associated geometry of spacetime are described in the language of quantum physics.[168] Despite major efforts, no complete and consistent theory of quantum gravity is currently known, even though a number of promising candidates exist.[169] Attempts to generalize ordinary quantum field theories, used in elementary particle physics to describe fundamental interactions, so as to include gravity have led to serious problems. At low energies, this approach proves successful, in that it results in an acceptable effective (quantum) field theory of gravity.[170] At very high energies, however, the result are models devoid of all predictive power ("non-renormalizability").[171]
Projection of a CalabiYau manifold, one of the ways of compactifying the extra dimensions posited by string theory
One attempt to overcome these limitations is string theory, a quantum theory not of point particles, but of minute one-dimensional extended objects.[172] The theory promises to be a unified description of all particles and interactions, including gravity;[173] the price to pay is unusual features such as six extra dimensions of space in addition to the usual three.[174] In what is called the second superstring revolution, it was conjectured that both string theory and a unification of general relativity and supersymmetry known as supergravity[175] form part of a hypothesized eleven-dimensional model known as M-theory, which would constitute a uniquely defined and consistent theory of quantum gravity.[176] Another approach starts with the canonical quantization procedures of quantum theory. Using the initial-value-formulation of general relativity (cf. evolution equations above), the result is the WheelerdeWitt equation (an analogue of the Schrdinger equation) which, regrettably, turns out to be ill-defined.[177] However, with the
General relativity introduction of what are now known as Ashtekar variables,[178] this leads to a promising model known as loop quantum gravity. Space is represented by a web-like structure called a spin network, evolving over time in discrete steps.[179] Depending on which features of general relativity and quantum theory are accepted unchanged, and on what level changes are introduced,[180] there are numerous other attempts to arrive at a viable theory of quantum gravity, some examples being dynamical triangulations,[181] causal sets,[182] twistor models[183] or the path-integral based models of quantum cosmology.[184] All candidate theories still have major formal and conceptual problems to overcome. They also face the common problem that, as yet, there is no way to put quantum gravity predictions to experimental tests (and thus to decide between the candidates where their predictions vary), although there is hope for this to change as future data from cosmological observations and particle physics experiments becomes available.[185]
101
Current status
General relativity has emerged as a highly successful model of gravitation and cosmology, which has so far passed many unambiguous observational and experimental tests. However, there are strong indications the theory is incomplete.[186] The problem of quantum gravity and the question of the reality of spacetime singularities remain open.[187] Observational data that is taken as evidence for dark energy and dark matter could indicate the need for new physics.[188] Even taken as is, general relativity is rich with possibilities for further exploration. Mathematical relativists seek to understand the nature of singularities and the fundamental properties of Einstein's equations,[189] and increasingly powerful computer simulations (such as those describing merging black holes) are run.[190] The race for the first direct detection of gravitational waves continues,[191] in the hope of creating opportunities to test the theory's validity for much stronger gravitational fields than has been possible to date.[192] More than ninety years after its publication, general relativity remains a highly active area of research.[193]
Notes
[1] "Nobel Prize Biography" (http:/ / nobelprize. org/ nobel_prizes/ physics/ laureates/ 1921/ einstein-bio. html). Nobel Prize Biography. Nobel Prize. . Retrieved 25 February 2011. [2] Pais 1982, ch. 9 to 15, Janssen 2005; an up-to-date collection of current research, including reprints of many of the original articles, is Renn 2007; an accessible overview can be found in Renn 2005, pp.110ff. An early key article is Einstein 1907, cf. Pais 1982, ch. 9. The publication featuring the field equations is Einstein 1915, cf. Pais 1982, ch. 1115 [3] Schwarzschild 1916a, Schwarzschild 1916b and Reissner 1916 (later complemented in Nordstrm 1918) [4] Einstein 1917, cf. Pais 1982, ch. 15e [5] Hubble's original article is Hubble 1929; an accessible overview is given in Singh 2004, ch. 24 [6] As reported in Gamow 1970. Einstein's condemnation would prove to be premature, cf. the section Cosmology, below [7] Pais 1982, pp.253254 [8] Kennefick 2005, Kennefick 2007 [9] Pais 1982, ch. 16 [10] Thorne, Kip (2003). "Warping spacetime" (http:/ / books. google. com/ books?id=yLy4b61rfPwC). The future of theoretical physics and cosmology: celebrating Stephen Hawking's 60th birthday. Cambridge University Press. p.74. ISBN0-521-82081-2. ., Extract of page 74 (http:/ / books. google. com/ books?id=yLy4b61rfPwC& pg=PA74) [11] Israel 1987, ch. 7.87.10, Thorne 1994, ch. 39 [12] Sections Orbital effects and the relativity of direction, Gravitational time dilation and frequency shift and Light deflection and gravitational time delay, and references therein [13] Section Cosmology and references therein; the historical development is in Overbye 1999 [14] The following exposition re-traces that of Ehlers 1973, sec. 1 [15] Arnold 1989, ch. 1 [16] Ehlers 1973, pp.5f [17] Will 1993, sec. 2.4, Will 2006, sec. 2 [18] Wheeler 1990, ch. 2 [19] Ehlers 1973, sec. 1.2, Havas 1964, Knzle 1972. The simple thought experiment in question was first described in Heckmann & Schcking 1959
General relativity
[20] Ehlers 1973, pp.10f [21] Good introductions are, in order of increasing presupposed knowledge of mathematics, Giulini 2005, Mermin 2005, and Rindler 1991; for accounts of precision experiments, cf. part IV of Ehlers & Lmmerzahl 2006 [22] An in-depth comparison between the two symmetry groups can be found in Giulini 2006a [23] Rindler 1991, sec. 22, Synge 1972, ch. 1 and 2 [24] Ehlers 1973, sec. 2.3 [25] Ehlers 1973, sec. 1.4, Schutz 1985, sec. 5.1 [26] Ehlers 1973, pp.17ff; a derivation can be found in Mermin 2005, ch. 12. For the experimental evidence, cf. the section Gravitational time dilation and frequency shift, below [27] Rindler 2001, sec. 1.13; for an elementary account, see Wheeler 1990, ch. 2; there are, however, some differences between the modern version and Einstein's original concept used in the historical derivation of general relativity, cf. Norton 1985 [28] Ehlers 1973, sec. 1.4 for the experimental evidence, see once more section Gravitational time dilation and frequency shift. Choosing a different connection with non-zero torsion leads to a modified theory known as EinsteinCartan theory [29] Ehlers 1973, p.16, Kenyon 1990, sec. 7.2, Weinberg 1972, sec. 2.8 [30] Ehlers 1973, pp.1922; for similar derivations, see sections 1 and 2 of ch. 7 in Weinberg 1972. The Einstein tensor is the only divergence-free tensor that is a function of the metric coefficients, their first and second derivatives at most, and allows the spacetime of special relativity as a solution in the absence of sources of gravity, cf. Lovelock 1972. The tensors on both side are of second rank, that is, they can each be thought of as 44 matrices, each of which contains ten independent terms; hence, the above represents ten coupled equations. The fact that, as a consequence of geometric relations known as Bianchi identities, the Einstein tensor satisfies a further four identities reduces these to six independent equations, e.g. Schutz 1985, sec. 8.3 [31] Kenyon 1990, sec. 7.4 [32] Brans & Dicke 1961, Weinberg 1972, sec. 3 in ch. 7, Goenner 2004, sec. 7.2, and Trautman 2006, respectively [33] Wald 1984, ch. 4, Weinberg 1972, ch. 7 or, in fact, any other textbook on general relativity [34] At least approximately, cf. Poisson 2004 [35] Wheeler 1990, [Link] [36] Wald 1984, sec. 4.4 [37] Wald 1984, sec. 4.1 [38] For the (conceptual and historical) difficulties in defining a general principle of relativity and separating it from the notion of general covariance, see Giulini 2006b [39] section 5 in ch. 12 of Weinberg 1972 [40] Introductory chapters of Stephani et al. 2003 [41] A review showing Einstein's equation in the broader context of other PDEs with physical significance is Geroch 1996 [42] For background information and a list of solutions, cf. Stephani et al. 2003; a more recent review can be found in MacCallum 2006 [43] Chandrasekhar 1983, ch. 3,5,6 [44] Narlikar 1993, ch. 4, sec. 3.3 [45] Brief descriptions of these and further interesting solutions can be found in Hawking & Ellis 1973, ch. 5 [46] Lehner 2002 [47] For instance Wald 1984, sec. 4.4 [48] Will 1993, sec. 4.1 and 4.2 [49] Will 2006, sec. 3.2, Will 1993, ch. 4 [50] Rindler 2001, pp.2426 vs. pp. 236237 and Ohanian & Ruffini 1994, pp.164172. Einstein derived these effects using the equivalence principle as early as 1907, cf. Einstein 1907 and the description in Pais 1982, pp.196198 [51] Rindler 2001, pp.2426; Misner, Thorne & Wheeler 1973, 38.5 [52] Pound-Rebka experiment, see Pound & Rebka 1959, Pound & Rebka 1960; Pound & Snider 1964; a list of further experiments is given in Ohanian & Ruffini 1994, table 4.1 on p. 186 [53] Greenstein, Oke & Shipman 1971; the most recent and most accurate Sirius B measurements are published in Barstow, Bond et al. 2005. [54] Starting with the Hafele-Keating experiment, Hafele & Keating 1972a and Hafele & Keating 1972b, and culminating in the Gravity Probe A experiment; an overview of experiments can be found in Ohanian & Ruffini 1994, table 4.1 on p. 186 [55] GPS is continually tested by comparing atomic clocks on the ground and aboard orbiting satellites; for an account of relativistic effects, see Ashby 2002 and Ashby 2003 [56] Stairs 2003 and Kramer 2004 [57] General overviews can be found in section 2.1. of Will 2006; Will 2003, pp. 3236; Ohanian & Ruffini 1994, sec. 4.2 [58] Ohanian & Ruffini 1994, pp.164172 [59] Cf. Kennefick 2005 for the classic early measurements by the Eddington expeditions; for an overview of more recent measurements, see Ohanian & Ruffini 1994, ch. 4.3. For the most precise direct modern observations using quasars, cf. Shapiro et al. 2004 [60] This is not an independent axiom; it can be derived from Einstein's equations and the Maxwell Lagrangian using a WKB approximation, cf. Ehlers 1973, sec. 5 [61] Blanchet 2006, sec. 1.3
102
General relativity
[62] Rindler 2001, sec. 1.16; for the historical examples, Israel 1987, pp.202204; in fact, Einstein published one such derivation as Einstein 1907. Such calculations tacitly assume that the geometry of space is Euclidean, cf. Ehlers & Rindler 1997 [63] From the standpoint of Einstein's theory, these derivations take into account the effect of gravity on time, but not its consequences for the warping of space, cf. Rindler 2001, sec. 11.11 [64] For the Sun's gravitational field using radar signals reflected from planets such as Venus and Mercury, cf. Shapiro 1964, Weinberg 1972, ch. 8, sec. 7; for signals actively sent back by space probes (transponder measurements), cf. Bertotti, Iess & Tortora 2003; for an overview, see Ohanian & Ruffini 1994, table 4.4 on p. 200; for more recent measurements using signals received from a pulsar that is part of a binary system, the gravitational field causing the time delay being that of the other pulsar, cf. Stairs 2003, sec. 4.4 [65] Will 1993, sec. 7.1 and 7.2 [66] These have been indirectly observed through the loss of energy in binary pulsar systems such as the HulseTaylor binary, the subject of the 1993 Nobel Prize in physics. A number of projects are underway to attempt to observe directly the effects of gravitational waves. For an overview, see Misner, Thorne & Wheeler 1973, part VIII. Unlike electromagnetic waves, the dominant contribution for gravitational waves is not the dipole, but the quadrupole; see Schutz 2001 [67] Most advanced textbooks on general relativity contain a description of these properties, e.g. Schutz 1985, ch. 9 [68] For example Jaranowski & Krlak 2005 [69] Rindler 2001, ch. 13 [70] Gowdy 1971, Gowdy 1974 [71] See Lehner 2002 for a brief introduction to the methods of numerical relativity, and Seidel 1998 for the connection with gravitational wave astronomy [72] Schutz 2003, pp.4849, Pais 1982, pp.253254 [73] Rindler 2001, sec. 11.9 [74] Will 1993, pp.177181 [75] In consequence, in the parameterized post-Newtonian formalism (PPN), measurements of this effect determine a linear combination of the terms and , cf. Will 2006, sec. 3.5 and Will 1993, sec. 7.3 [76] The most precise measurements are VLBI measurements of planetary positions; see Will 1993, ch. 5, Will 2006, sec. 3.5, Anderson et al. 1992; for an overview, Ohanian & Ruffini 1994, pp.406407 [77] Kramer et al. 2006 [78] A figure that includes error bars is fig. 7 in Will 2006, sec. 5.1 [79] Stairs 2003, Schutz 2003, pp.317321, Bartusiak 2000, pp.7086 [80] Weisberg & Taylor 2003; for the pulsar discovery, see Hulse & Taylor 1975; for the initial evidence for gravitational radiation, see Taylor 1994 [81] Kramer 2004 [82] Penrose 2004, 14.5, Misner, Thorne & Wheeler 1973, 11.4 [83] Weinberg 1972, sec. 9.6, Ohanian & Ruffini 1994, sec. 7.8 [84] Bertotti, Ciufolini & Bender 1987, Nordtvedt 2003 [85] Kahn 2007 [86] A mission description can be found in Everitt et al. 2001; a first post-flight evaluation is given in Everitt, Parkinson & Kahn 2007; further updates will be available on the mission website Kahn 19962012. [87] Townsend 1997, sec. 4.2.1, Ohanian & Ruffini 1994, pp.469471 [88] Ohanian & Ruffini 1994, sec. 4.7, Weinberg 1972, sec. 9.7; for a more recent review, see Schfer 2004 [89] Ciufolini & Pavlis 2004, Ciufolini, Pavlis & Peron 2006, Iorio 2009 [90] Iorio L. (August 2006), "COMMENTS, REPLIES AND NOTES: A note on the evidence of the gravitomagnetic field of Mars", Classical Quantum Gravity 23 (17): 54515454, arXiv:gr-qc/0606092, Bibcode2006CQGra..23.5451I, doi:10.1088/0264-9381/23/17/N01 [91] Iorio L. (June 2010), "On the LenseThirring test with the Mars Global Surveyor in the gravitational field of Mars", Central European Journal of Physics 8 (3): 509513, arXiv:gr-qc/0701146, Bibcode2010CEJPh...8..509I, doi:10.2478/s11534-009-0117-6 [92] For overviews of gravitational lensing and its applications, see Ehlers, Falco & Schneider 1992 and Wambsganss 1998 [93] For a simple derivation, see Schutz 2003, ch. 23; cf. Narayan & Bartelmann 1997, sec. 3 [94] Walsh, Carswell & Weymann 1979 [95] Images of all the known lenses can be found on the pages of the CASTLES project, Kochanek et al. 2007 [96] Roulet & Mollerach 1997 [97] Narayan & Bartelmann 1997, sec. 3.7 [98] Barish 2005, Bartusiak 2000, Blair & McNamara 1997 [99] Hough & Rowan 2000 [100] Hobbs, George. "The international pulsar timing array project: using pulsars as a gravitational wave detector". arXiv:0911.5206. [101] Danzmann & Rdiger 2003 [102] "LISA pathfinder overview" (http:/ / www. esa. int/ esaSC/ 120397_index_0_m. html). ESA. . Retrieved 2012-04-23. [103] Thorne 1995 [104] Cutler & Thorne 2002 [105] Miller 2002, lectures 19 and 21
103
General relativity
[106] Celotti, Miller & Sciama 1999, sec. 3 [107] Springel et al. 2005 and the accompanying summary Gnedin 2005 [108] Blandford 1987, sec. 8.2.4 [109] For the basic mechanism, see Carroll & Ostlie 1996, sec. 17.2; for more about the different types of astronomical objects associated with this, cf. Robson 1996 [110] For a review, see Begelman, Blandford & Rees 1984. To a distant observer, some of these jets even appear to move faster than light; this, however, can be explained as an optical illusion that does not violate the tenets of relativity, see Rees 1966 [111] For stellar end states, cf. Oppenheimer & Snyder 1939 or, for more recent numerical work, Font 2003, sec. 4.1; for supernovae, there are still major problems to be solved, cf. Buras et al. 2003; for simulating accretion and the formation of jets, cf. Font 2003, sec. 4.2. Also, relativistic lensing effects are thought to play a role for the signals received from X-ray pulsars, cf. Kraus 1998 [112] The evidence includes limits on compactness from the observation of accretion-driven phenomena ("Eddington luminosity"), see Celotti, Miller & Sciama 1999, observations of stellar dynamics in the center of our own Milky Way galaxy, cf. Schdel et al. 2003, and indications that at least some of the compact objects in question appear to have no solid surface, which can be deduced from the examination of X-ray bursts for which the central compact object is either a neutron star or a black hole; cf. Remillard et al. 2006 for an overview, Narayan 2006, sec. 5. Observations of the "shadow" of the Milky Way galaxy's central black hole horizon are eagerly sought for, cf. Falcke, Melia & Agol 2000 [113] Dalal et al. 2006 [114] Barack & Cutler 2004 [115] Originally Einstein 1917; cf. Pais 1982, pp.285288 [116] Carroll 2001, ch. 2 [117] Bergstrm & Goobar 2003, ch. 911; use of these models is justified by the fact that, at large scales of around hundred million light-years and more, our own universe indeed appears to be isotropic and homogeneous, cf. Peebles et al. 1991 [118] E.g. with WMAP data, see Spergel et al. 2003 [119] These tests involve the separate observations detailed further on, see, e.g., fig. 2 in Bridle et al. 2003 [120] Peebles 1966; for a recent account of predictions, see Coc, VangioniFlam et al. 2004; an accessible account can be found in Weiss 2006; compare with the observations in Olive & Skillman 2004, Bania, Rood & Balser 2002, O'Meara et al. 2001, and Charbonnel & Primas 2005 [121] Lahav & Suto 2004, Bertschinger 1998, Springel et al. 2005 [122] Alpher & Herman 1948, for a pedagogical introduction, see Bergstrm & Goobar 2003, ch. 11; for the initial detection, see Penzias & Wilson 1965 and, for precision measurements by satellite observatories, Mather et al. 1994 (COBE) and Bennett et al. 2003 (WMAP). Future measurements could also reveal evidence about gravitational waves in the early universe; this additional information is contained in the background radiation's polarization, cf. Kamionkowski, Kosowsky & Stebbins 1997 and Seljak & Zaldarriaga 1997 [123] Evidence for this comes from the determination of cosmological parameters and additional observations involving the dynamics of galaxies and galaxy clusters cf. Peebles 1993, ch. 18, evidence from gravitational lensing, cf. Peacock 1999, sec. 4.6, and simulations of large-scale structure formation, see Springel et al. 2005 [124] Peacock 1999, ch. 12, Peskin 2007; in particular, observations indicate that all but a negligible portion of that matter is not in the form of the usual elementary particles ("non-baryonic matter"), cf. Peacock 1999, ch. 12 [125] Namely, some physicists have questioned whether or not the evidence for dark matter is, in fact, evidence for deviations from the Einsteinian (and the Newtonian) description of gravity cf. the overview in Mannheim 2006, sec. 9 [126] Carroll 2001; an accessible overview is given in Caldwell 2004. Here, too, scientists have argued that the evidence indicates not a new form of energy, but the need for modifications in our cosmological models, cf. Mannheim 2006, sec. 10; aforementioned modifications need not be modifications of general relativity, they could, for example, be modifications in the way we treat the inhomogeneities in the universe, cf. Buchert 2007 [127] A good introduction is Linde 1990; for a more recent review, see Linde 2005 [128] More precisely, these are the flatness problem, the horizon problem, and the monopole problem; a pedagogical introduction can be found in Narlikar 1993, sec. 6.4, see also Brner 1993, sec. 9.1 [129] Spergel et al. 2007, sec. 5,6 [130] More concretely, the potential function that is crucial to determining the dynamics of the inflaton is simply postulated, but not derived from an underlying physical theory [131] Brandenberger 2007, sec. 2 [132] Frauendiener 2004, Wald 1984, sec. 11.1, Hawking & Ellis 1973, sec. 6.8, 6.9 [133] Wald 1984, sec. 9.29.4 and Hawking & Ellis 1973, ch. 6 [134] Thorne 1972; for more recent numerical studies, see Berger 2002, sec. 2.1 [135] Israel 1987. A more exact mathematical description distinguishes several kinds of horizon, notably event horizons and apparent horizons cf. Hawking & Ellis 1973, pp.312320 or Wald 1984, sec. 12.2; there are also more intuitive definitions for isolated systems that do not require knowledge of spacetime properties at infinity, cf. Ashtekar & Krishnan 2004 [136] For first steps, cf. Israel 1971; see Hawking & Ellis 1973, sec. 9.3 or Heusler 1996, ch. 9 and 10 for a derivation, and Heusler 1998 as well as Beig & Chruciel 2006 as overviews of more recent results [137] The laws of black hole mechanics were first described in Bardeen, Carter & Hawking 1973; a more pedagogical presentation can be found in Carter 1979; for a more recent review, see Wald 2001, ch. 2. A thorough, book-length introduction including an introduction to the
104
General relativity
necessary mathematics Poisson 2004. For the Penrose process, see Penrose 1969 [138] Bekenstein 1973, Bekenstein 1974 [139] The fact that black holes radiate, quantum mechanically, was first derived in Hawking 1975; a more thorough derivation can be found in Wald 1975. A review is given in Wald 2001, ch. 3 [140] Narlikar 1993, sec. 4.4.4, 4.4.5 [141] Horizons: cf. Rindler 2001, sec. 12.4. Unruh effect: Unruh 1976, cf. Wald 2001, ch. 3 [142] Hawking & Ellis 1973, sec. 8.1, Wald 1984, sec. 9.1 [143] Townsend 1997, ch. 2; a more extensive treatment of this solution can be found in Chandrasekhar 1983, ch. 3 [144] Townsend 1997, ch. 4; for a more extensive treatment, cf. Chandrasekhar 1983, ch. 6 [145] Ellis & van Elst 1999; a closer look at the singularity itself is taken in Brner 1993, sec. 1.2 [146] Here one should remind to the well-known fact that the important "quasi-optical" singularities of the so-called eikonal approximations of many wave-equations, namely the "caustics", are resolved into finite peaks beyond that approximation. [147] Namely when there are trapped null surfaces, cf. Penrose 1965 [148] Hawking 1966 [149] The conjecture was made in Belinskii, Khalatnikov & Lifschitz 1971; for a more recent review, see Berger 2002. An accessible exposition is given by Garfinkle 2007 [150] The restriction to future singularities naturally excludes initial singularities such as the big bang singularity, which in principle be visible to observers at later cosmic time. The cosmic censorship conjecture was first presented in Penrose 1969; a textbook-level account is given in Wald 1984, pp.302305. For numerical results, see the review Berger 2002, sec. 2.1 [151] Hawking & Ellis 1973, sec. 7.1 [152] Arnowitt, Deser & Misner 1962; for a pedagogical introduction, see Misner, Thorne & Wheeler 1973, 21.421.7 [153] Fours-Bruhat 1952 and Bruhat 1962; for a pedagogical introduction, see Wald 1984, ch. 10; an online review can be found in Reula 1998 [154] Gourgoulhon 2007; for a review of the basics of numerical relativity, including the problems arising from the peculiarities of Einstein's equations, see Lehner 2001 [155] Misner, Thorne & Wheeler 1973, 20.4 [156] Arnowitt, Deser & Misner 1962 [157] Komar 1959; for a pedagogical introduction, see Wald 1984, sec. 11.2; although defined in a totally different way, it can be shown to be equivalent to the ADM mass for stationary spacetimes, cf. Ashtekar & Magnon-Ashtekar 1979 [158] For a pedagogical introduction, see Wald 1984, sec. 11.2 [159] Wald 1984, p.295 and refs therein; this is important for questions of stabilityif there were negative mass states, then flat, empty Minkowski space, which has mass zero, could evolve into these states [160] Townsend 1997, ch. 5 [161] Such quasi-local massenergy definitions are the Hawking energy, Geroch energy, or Penrose's quasi-local energymomentum based on twistor methods; cf. the review article Szabados 2004 [162] An overview of quantum theory can be found in standard textbooks such as Messiah 1999; a more elementary account is given in Hey & Walters 2003 [163] Ramond 1990, Weinberg 1995, Peskin & Schroeder 1995; a more accessible overview is Auyang 1995 [164] Wald 1994, Birrell & Davies 1984 [165] For Hawking radiation Hawking 1975, Wald 1975; an accessible introduction to black hole evaporation can be found in Traschen 2000 [166] Wald 2001, ch. 3 [167] Put simply, matter is the source of spacetime curvature, and once matter has quantum properties, we can expect spacetime to have them as well. Cf. Carlip 2001, sec. 2 [168] Schutz 2003, p.407 [169] A timeline and overview can be found in Rovelli 2000 [170] Donoghue 1995 [171] In particular, a technique known as renormalization, an integral part of deriving predictions which take into account higher-energy contributions, cf. Weinberg 1996, ch. 17, 18, fails in this case; cf. Goroff & Sagnotti 1985 [172] An accessible introduction at the undergraduate level can be found in Zwiebach 2004; more complete overviews can be found in Polchinski 1998a and Polchinski 1998b [173] At the energies reached in current experiments, these strings are indistinguishable from point-like particles, but, crucially, different modes of oscillation of one and the same type of fundamental string appear as particles with different (electric and other) charges, e.g. Ibanez 2000. The theory is successful in that one mode will always correspond to a graviton, the messenger particle of gravity, e.g. Green, Schwarz & Witten 1987, sec. 2.3, 5.3 [174] Green, Schwarz & Witten 1987, sec. 4.2 [175] Weinberg 2000, ch. 31 [176] Townsend 1996, Duff 1996 [177] Kucha 1973, sec. 3 [178] These variables represent geometric gravity using mathematical analogues of electric and magnetic fields; cf. Ashtekar 1986, Ashtekar 1987
105
General relativity
[179] For a review, see Thiemann 2006; more extensive accounts can be found in Rovelli 1998, Ashtekar & Lewandowski 2004 as well as in the lecture notes Thiemann 2003 [180] Isham 1994, Sorkin 1997 [181] Loll 1998 [182] Sorkin 2005 [183] Penrose 2004, ch. 33 and refs therein [184] Hawking 1987 [185] Ashtekar 2007, Schwarz 2007 [186] Maddox 1998, pp.5259, 98122; Penrose 2004, sec. 34.1, ch. 30 [187] section Quantum gravity, above [188] section Cosmology, above [189] Friedrich 2005 [190] A review of the various problems and the techniques being developed to overcome them, see Lehner 2002 [191] See Bartusiak 2000 for an account up to that year; up-to-date news can be found on the websites of major detector collaborations such as GEO 600 (http:/ / geo600. aei. mpg. de) and LIGO (http:/ / www. ligo. caltech. edu/ ) [192] For the most recent papers on gravitational wave polarizations of inspiralling compact binaries, see Blanchet et al. 2008, and Arun et al. 2007; for a review of work on compact binaries, see Blanchet 2006 and Futamase & Itoh 2006; for a general review of experimental tests of general relativity, see Will 2006 [193] See, e.g., the electronic review journal Living Reviews in Relativity (http:/ / relativity. livingreviews. org)
106
References
Alpher, R. A.; Herman, R. C. (1948), "Evolution of the universe", Nature 162 (4124): 774775, Bibcode1948Natur.162..774A, doi:10.1038/162774b0 Anderson, J. D.; Campbell, J. K.; Jurgens, R. F.; Lau, E. L. (1992), "Recent developments in solar-system tests of general relativity", in Sato, H.; Nakamura, T., Proceedings of the Sixth Marcel Gromann Meeting on General Relativity, World Scientific, pp.353355, ISBN981-02-0950-9 Arnold, V. I. (1989), Mathematical Methods of Classical Mechanics, Springer, ISBN3-540-96890-3 Arnowitt, Richard; Deser, Stanley; Misner, Charles W. (1962), "The dynamics of general relativity", in Witten, Louis, Gravitation: An Introduction to Current Research, Wiley, pp.227265 Arun, K.G.; Blanchet, L.; Iyer, B. R.; Qusailah, M. S. S. (2007), Inspiralling compact binaries in quasi-elliptical orbits: The complete 3PN energy flux, arXiv:0711.0302, Bibcode2008PhRvD..77f4035A, doi:10.1103/PhysRevD.77.064035 Ashby, Neil (2002), "Relativity and the Global Positioning System" ([Link] Files/Professional/GPS/Neil_Ashby_Relativity_GPS.pdf) (PDF), Physics Today 55 (5): 4147, Bibcode2002PhT....55e..41A, doi:10.1063/1.1485583 Ashby, Neil (2003), "Relativity in the Global Positioning System" ([Link] lrr-2003-1/[Link]), Living Reviews in Relativity ([Link] 6, retrieved 2007-07-06 Ashtekar, Abhay (1986), "New variables for classical and quantum gravity", Phys. Rev. Lett. 57 (18): 22442247, Bibcode1986PhRvL..57.2244A, doi:10.1103/PhysRevLett.57.2244, PMID10033673 Ashtekar, Abhay (1987), "New Hamiltonian formulation of general relativity", Phys. Rev. D36 (6): 15871602, Bibcode1987PhRvD..36.1587A, doi:10.1103/PhysRevD.36.1587 Ashtekar, Abhay (2007), Loop Quantum Gravity: Four Recent Advances and a Dozen Frequently Asked Questions, arXiv:0705.2222, Bibcode2008mgm..conf..126A, doi:10.1142/9789812834300_0008 Ashtekar, Abhay; Krishnan, Badri (2004), "Isolated and Dynamical Horizons and Their Applications" (http:// [Link]/lrr-2004-10), Living Rev. Relativity 7, retrieved 2007-08-28 Ashtekar, Abhay; Lewandowski, Jerzy (2004), "Background Independent Quantum Gravity: A Status Report", Class. Quant. Grav. 21 (15): R53R152, arXiv:gr-qc/0404018, Bibcode2004CQGra..21R..53A, doi:10.1088/0264-9381/21/15/R01 Ashtekar, Abhay; Magnon-Ashtekar, Anne (1979), "On conserved quantities in general relativity", Journal of Mathematical Physics 20 (5): 793800, Bibcode1979JMP....20..793A, doi:10.1063/1.524151
General relativity Auyang, Sunny Y. (1995), How is Quantum Field Theory Possible?, Oxford University Press, ISBN0-19-509345-3 Bania, T. M.; Rood, R. T.; Balser, D. S. (2002), "The cosmological density of baryons from observations of 3He+ in the Milky Way", Nature 415 (6867): 5457, Bibcode2002Natur.415...54B, doi:10.1038/415054a, PMID11780112 Barack, Leor; Cutler, Curt (2004), "LISA Capture Sources: Approximate Waveforms, Signal-to-Noise Ratios, and Parameter Estimation Accuracy", Phys. Rev. D69 (8): 082005, arXiv:gr-qc/031012, Bibcode2004PhRvD..69h2005B, doi:10.1103/PhysRevD.69.082005 Bardeen, J. M.; Carter, B.; Hawking, S. W. (1973), "The Four Laws of Black Hole Mechanics" (http:// [Link]/[Link]/1103858973), Comm. Math. Phys. 31 (2): 161170, Bibcode1973CMaPh..31..161B, doi:10.1007/BF01645742 Barish, Barry (2005), "Towards detection of gravitational waves", in Florides, P.; Nolan, B.; Ottewil, A., General Relativity and Gravitation. Proceedings of the 17th International Conference, World Scientific, pp.2434, ISBN981-256-424-1 Barstow, M; Bond, Howard E.; Holberg, J. B.; Burleigh, M. R.; Hubeny, I.; Koester, D. (2005), "Hubble Space Telescope Spectroscopy of the Balmer lines in Sirius B", Mon. Not. Roy. Astron. Soc. 362 (4): 11341142, arXiv:astro-ph/0506600, Bibcode2005MNRAS.362.1134B, doi:10.1111/j.1365-2966.2005.09359.x Bartusiak, Marcia (2000), Einstein's Unfinished Symphony: Listening to the Sounds of Space-Time, Berkley, ISBN978-0-425-18620-6 Begelman, Mitchell C.; Blandford, Roger D.; Rees, Martin J. (1984), "Theory of extragalactic radio sources", Rev. Mod. Phys. 56 (2): 255351, Bibcode1984RvMP...56..255B, doi:10.1103/RevModPhys.56.255 Beig, Robert; Chruciel, Piotr T. (2006), "Stationary black holes", in Francoise, J.-P.; Naber, G.; Tsou, T.S., Encyclopedia of Mathematical Physics, Volume 2, Elsevier, arXiv:gr-qc/0502041, [Link].....2041B, ISBN0-12-512660-3 Bekenstein, Jacob D. (1973), "Black Holes and Entropy", Phys. Rev. D7 (8): 23332346, Bibcode1973PhRvD...7.2333B, doi:10.1103/PhysRevD.7.2333 Bekenstein, Jacob D. (1974), "Generalized Second Law of Thermodynamics in Black-Hole Physics", Phys. Rev. D9 (12): 32923300, Bibcode1974PhRvD...9.3292B, doi:10.1103/PhysRevD.9.3292 Belinskii, V. A.; Khalatnikov, I. M.; Lifschitz, E. M. (1971), "Oscillatory approach to the singular point in relativistic cosmology", Advances in Physics 19 (80): 525573, Bibcode1970AdPhy..19..525B, doi:10.1080/00018737000101171; original paper in Russian: Belinsky, V. A.; Khalatnikov, I. M.; Lifshitz, E. M. (1970), " ", Uspekhi Fizicheskikh Nauk ( ) 102(3) (11): 463500, Bibcode1970UsFiN.102..463B Bennett, C. L.; Halpern, M.; Hinshaw, G.; Jarosik, N.; Kogut, A.; Limon, M.; Meyer, S. S.; Page, L. et al. (2003), "First Year Wilkinson Microwave Anisotropy Probe (WMAP) Observations: Preliminary Maps and Basic Results", Astrophys. J. Suppl. 148 (1): 127, arXiv:astro-ph/0302207, Bibcode2003ApJS..148....1B, doi:10.1086/377253 Berger, Beverly K. (2002), "Numerical Approaches to Spacetime Singularities" ([Link] lrr-2002-1), Living Rev. Relativity' 5, retrieved 2007-08-04 Bergstrm, Lars; Goobar, Ariel (2003), Cosmology and Particle Astrophysics (2nd ed.), Wiley & Sons, ISBN3-540-43128-4 Bertotti, Bruno; Ciufolini, Ignazio; Bender, Peter L. (1987), "New test of general relativity: Measurement of de Sitter geodetic precession rate for lunar perigee", Physical Review Letters 58 (11): 10621065, Bibcode1987PhRvL..58.1062B, doi:10.1103/PhysRevLett.58.1062, PMID10034329 Bertotti, Bruno; Iess, L.; Tortora, P. (2003), "A test of general relativity using radio links with the Cassini spacecraft", Nature 425 (6956): 374376, Bibcode2003Natur.425..374B, doi:10.1038/nature01997, PMID14508481
107
General relativity Bertschinger, Edmund (1998), "Simulations of structure formation in the universe", Annu. Rev. Astron. Astrophys. 36 (1): 599654, Bibcode1998ARA&A..36..599B, doi:10.1146/[Link].36.1.599 Birrell, N. D.; Davies, P. C. (1984), Quantum Fields in Curved Space, Cambridge University Press, ISBN0-521-27858-9 Blair, David; McNamara, Geoff (1997), Ripples on a Cosmic Sea. The Search for Gravitational Waves, Perseus, ISBN0-7382-0137-5 Blanchet, L.; Faye, G.; Iyer, B. R.; Sinha, S. (2008), The third post-Newtonian gravitational wave polarisations and associated spherical harmonic modes for inspiralling compact binaries in quasi-circular orbits, arXiv:0802.1249, Bibcode2008CQGra..25p5003B, doi:10.1088/0264-9381/25/16/165003 Blanchet, Luc (2006), "Gravitational Radiation from Post-Newtonian Sources and Inspiralling Compact Binaries" ([Link] Living Rev. Relativity 9, retrieved 2007-08-07 Blandford, R. D. (1987), "Astrophysical Black Holes", in Hawking, Stephen W.; Israel, Werner, 300 Years of Gravitation, Cambridge University Press, pp.277329, ISBN0-521-37976-8 Brner, Gerhard (1993), The Early Universe. Facts and Fiction, Springer, ISBN0-387-56729-1 Brandenberger, Robert H. (2007), Conceptual Problems of Inflationary Cosmology and a New Approach to Cosmological Structure Formation, arXiv:hep-th/0701111, Bibcode2008LNP...738..393B, doi:10.1007/978-3-540-74353-8_11 Brans, C. H.; Dicke, R. H. (1961), "Mach's Principle and a Relativistic Theory of Gravitation", Physical Review 124 (3): 925935, Bibcode1961PhRv..124..925B, doi:10.1103/PhysRev.124.925 Bridle, Sarah L.; Lahav, Ofer; Ostriker, Jeremiah P.; Steinhardt, Paul J. (2003), "Precision Cosmology? Not Just Yet", Science 299 (5612): 15321533, arXiv:astro-ph/0303180, Bibcode2003Sci...299.1532B, doi:10.1126/science.1082158, PMID12624255 Bruhat, Yvonne (1962), "The Cauchy Problem", in Witten, Louis, Gravitation: An Introduction to Current Research, Wiley, pp.130, ISBN978-1-114-29166-9 Buchert, Thomas (2007), "Dark Energy from StructureA Status Report", General Relativity and Gravitation 40 (2-3): 467527, arXiv:0707.2153, Bibcode2008GReGr..40..467B, doi:10.1007/s10714-007-0554-8 Buras, R.; Rampp, M.; Janka, H.-Th.; Kifonidis, K. (2003), "Improved Models of Stellar Core Collapse and Still no Explosions: What is Missing?", Phys. Rev. Lett. 90 (24): 241101, arXiv:astro-ph/0303171, Bibcode2003PhRvL..90x1101B, doi:10.1103/PhysRevLett.90.241101, PMID12857181 Caldwell, Robert R. (2004), "Dark Energy", Physics World 17 (5): 3742 Carlip, Steven (2001), "Quantum Gravity: a Progress Report", Rept. Prog. Phys. 64 (8): 885942, arXiv:gr-qc/0108040, Bibcode2001RPPh...64..885C, doi:10.1088/0034-4885/64/8/301 Carroll, Bradley W.; Ostlie, Dale A. (1996), An Introduction to Modern Astrophysics, Addison-Wesley, ISBN0-201-54730-9 Carroll, Sean M. (2001), "The Cosmological Constant" ([Link] Living Rev. Relativity 4, retrieved 2007-07-21 Carter, Brandon (1979), "The general theory of the mechanical, electromagnetic and thermodynamic properties of black holes", in Hawking, S. W.; Israel, W., General Relativity, an Einstein Centenary Survey, Cambridge University Press, pp.294369 and 860863, ISBN0-521-29928-4 Celotti, Annalisa; Miller, John C.; Sciama, Dennis W. (1999), "Astrophysical evidence for the existence of black holes", Class. Quant. Grav. 16 (12A): A3A21, arXiv:astro-ph/9912186, doi:10.1088/0264-9381/16/12A/301 Chandrasekhar, Subrahmanyan (1983), The Mathematical Theory of Black Holes, Oxford University Press, ISBN0-19-850370-9 Charbonnel, C.; Primas, F. (2005), "The Lithium Content of the Galactic Halo Stars", Astronomy & Astrophysics 442 (3): 961992, arXiv:astro-ph/0505247, Bibcode2005A&A...442..961C, doi:10.1051/0004-6361:20042491 Ciufolini, Ignazio; Pavlis, Erricos C. (2004), "A confirmation of the general relativistic prediction of the Lense-Thirring effect", Nature 431 (7011): 958960, Bibcode2004Natur.431..958C, doi:10.1038/nature03007,
108
General relativity PMID15496915 Ciufolini, Ignazio; Pavlis, Erricos C.; Peron, R. (2006), "Determination of frame-dragging using Earth gravity models from CHAMP and GRACE", New Astron. 11 (8): 527550, Bibcode2006NewA...11..527C, doi:10.1016/[Link].2006.02.001 Coc, A.; VangioniFlam, Elisabeth; Descouvemont, Pierre; Adahchour, Abderrahim; Angulo, Carmen (2004), "Updated Big Bang Nucleosynthesis confronted to WMAP observations and to the Abundance of Light Elements", Astrophysical Journal 600 (2): 544552, arXiv:astro-ph/0309480, Bibcode2004ApJ...600..544C, doi:10.1086/380121 Cutler, Curt; Thorne, Kip S. (2002), "An overview of gravitational wave sources", in Bishop, Nigel; Maharaj, Sunil D., Proceedings of 16th International Conference on General Relativity and Gravitation (GR16), World Scientific, arXiv:gr-qc/0204090, [Link].....4090C, ISBN981-238-171-6 Dalal, Neal; Holz, Daniel E.; Hughes, Scott A.; Jain, Bhuvnesh (2006), "Short GRB and binary black hole standard sirens as a probe of dark energy", [Link]. D74 (6): 063006, arXiv:astro-ph/0601275, Bibcode2006PhRvD..74f3006D, doi:10.1103/PhysRevD.74.063006 Danzmann, Karsten; Rdiger, Albrecht (2003), "LISA TechnologyConcepts, Status, Prospects" ([Link] [Link]/lisa/documents/[Link]) (PDF), Class. Quant. Grav. 20 (10): S1S9, Bibcode2003CQGra..20S...1D, doi:10.1088/0264-9381/20/10/301
109
Dirac, Paul (1996), General Theory of Relativity, Princeton University Press, ISBN0-691-01146-X Donoghue, John F. (1995), "Introduction to the Effective Field Theory Description of Gravity", in Cornet, Fernando, Effective Theories: Proceedings of the Advanced School, Almunecar, Spain, 26 June1 July 1995, Singapore: World Scientific, arXiv:gr-qc/9512024, [Link]....12024D, ISBN981-02-2908-9 Duff, Michael (1996), "M-Theory (the Theory Formerly Known as Strings)", Int. J. Mod. Phys. A11 (32): 56235641, arXiv:hep-th/9608117, Bibcode1996IJMPA..11.5623D, doi:10.1142/S0217751X96002583 Ehlers, Jrgen (1973), "Survey of general relativity theory", in Israel, Werner, Relativity, Astrophysics and Cosmology, D. Reidel, pp.1125, ISBN90-277-0369-8 Ehlers, Jrgen; Falco, Emilio E.; Schneider, Peter (1992), Gravitational lenses, Springer, ISBN3-540-66506-4 Ehlers, Jrgen; Lmmerzahl, Claus, eds. (2006), Special RelativityWill it Survive the Next 101 Years?, Springer, ISBN3-540-34522-1 Ehlers, Jrgen; Rindler, Wolfgang (1997), "Local and Global Light Bending in Einstein's and other Gravitational Theories", General Relativity and Gravitation 29 (4): 519529, Bibcode1997GReGr..29..519E, doi:10.1023/A:1018843001842 Einstein, Albert (1907), "ber das Relativittsprinzip und die aus demselben gezogene Folgerungen" (http:// [Link]/wissen/hist/SRT/[Link]) (PDF), Jahrbuch der Radioaktivitaet und Elektronik 4: 411, retrieved 2008-05-05 Einstein, Albert (1915), "Die Feldgleichungen der Gravitation" ([Link] cgi-bin/toc/[Link]?dir=6E3MAXK4&step=thumb), Sitzungsberichte der Preussischen Akademie der Wissenschaften zu Berlin: 844847, retrieved 2006-09-12 Einstein, Albert (1916), "Die Grundlage der allgemeinen Relativittstheorie" ([Link] 20060829045130/[Link] (PDF), Annalen der Physik 49, archived from the original ([Link] on 2006-08-29, retrieved 2006-09-03 Einstein, Albert (1917), "Kosmologische Betrachtungen zur allgemeinen Relativittstheorie", Sitzungsberichte der Preuischen Akademie der Wissenschaften: 142 Ellis, George F R; van Elst, Henk (1999), "Cosmological models (Cargse lectures 1998)", in Lachize-Rey, Marc, Theoretical and Observational Cosmology, Kluwer, pp.1116, arXiv:gr-qc/9812046, Bibcode1999toc..conf....1E
General relativity Everitt, C. W. F.; Buchman, S.; DeBra, D. B.; Keiser, G. M. (2001), "Gravity Probe B: Countdown to launch", Gyros, Clocks, and Interferometers: Testing Relativistic Gravity in Space (Lecture Notes in Physics 562), Springer, pp.5282, ISBN3-540-41236-0 Everitt, C. W. F.; Parkinson, Bradford; Kahn, Bob (2007) (PDF), The Gravity Probe B experiment. Post Flight AnalysisFinal Report (Preface and Executive Summary) ([Link] exec_summary/GP-B_ExecSum-[Link]), Project Report: NASA, Stanford University and Lockheed Martin, retrieved 2007-08-05 Falcke, Heino; Melia, Fulvio; Agol, Eric (2000), "Viewing the Shadow of the Black Hole at the Galactic Center", Astrophysical Journal 528 (1): L13L16, arXiv:astro-ph/9912263, Bibcode2000ApJ...528L..13F, doi:10.1086/312423, PMID10587484 Flanagan, anna .; Hughes, Scott A. (2005), "The basics of gravitational wave theory", New [Link]. 7: 204, arXiv:gr-qc/0501041, Bibcode2005NJPh....7..204F, doi:10.1088/1367-2630/7/1/204 Font, Jos A. (2003), "Numerical Hydrodynamics in General Relativity" ([Link] lrr-2003-4), Living Rev. Relativity 6, retrieved 2007-08-19 Fours-Bruhat, Yvonne (1952), "Thorme d'existence pour certains systmes d'quations aux derives partielles non linaires", Acta Mathematica 88 (1): 141225, doi:10.1007/BF02392131 Frauendiener, Jrg (2004), "Conformal Infinity" ([Link] Living Rev. Relativity 7, retrieved 2007-07-21 Friedrich, Helmut (2005), "Is general relativity `essentially understood'?", Annalen Phys. 15 (1-2): 84108, arXiv:gr-qc/0508016, Bibcode2006AnP...518...84F, doi:10.1002/andp.200510173 Futamase, T.; Itoh, Y. (2006), "The Post-Newtonian Approximation for Relativistic Compact Binaries" (http:// [Link]/lrr-2007-2), Living Rev. Relativity 10, retrieved 2008-02-29 Gamow, George (1970), My World Line, Viking Press, ISBN0-670-50376-2 Garfinkle, David (2007), "Of singularities and breadmaking" ([Link] singularities_bkl/[Link]), Einstein Online ([Link] retrieved 2007-08-03 Geroch, Robert (1996). "Partial Differential Equations of Physics". arXiv:gr-qc/9602055[gr-qc]. Giulini, Domenico (2005), Special Relativity: A First Encounter, Oxford University Press, ISBN0-19-856746-4 Giulini, Domenico (2006a), "Algebraic and Geometric Structures in Special Relativity", in Ehlers, Jrgen; Lmmerzahl, Claus, Special RelativityWill it Survive the Next 101 Years?, Springer, pp.45111, arXiv:math-ph/0602018, [Link]...2018G, ISBN3-540-34522-1 Giulini, Domenico (2006b), "Some remarks on the notions of general covariance and background independence", in Stamatescu, I. O., An assessment of current paradigms in the physics of fundamental interactions, Springer, arXiv:gr-qc/0603087, Bibcode2007LNP...721..105G Gnedin, Nickolay Y. (2005), "Digitizing the Universe", Nature 435 (7042): 572573, Bibcode2005Natur.435..572G, doi:10.1038/435572a, PMID15931201 Goenner, Hubert F. M. (2004), "On the History of Unified Field Theories" ([Link] lrr-2004-2), Living Rev. Relativity 7, retrieved 2008-02-28 Goroff, Marc H.; Sagnotti, Augusto (1985), "Quantum gravity at two loops", Phys. Lett. 160B (1-3): 8186, Bibcode1985PhLB..160...81G, doi:10.1016/0370-2693(85)91470-4 Gourgoulhon, Eric (2007). "3+1 Formalism and Bases of Numerical Relativity". arXiv:gr-qc/0703035[gr-qc]. Gowdy, Robert H. (1971), "Gravitational Waves in Closed Universes", Phys. Rev. Lett. 27 (12): 826829, Bibcode1971PhRvL..27..826G, doi:10.1103/PhysRevLett.27.826 Gowdy, Robert H. (1974), "Vacuum spacetimes with two-parameter spacelike isometry groups and compact invariant hypersurfaces: Topologies and boundary conditions", Ann. Phys. (N.Y.) 83 (1): 203241, Bibcode1974AnPhy..83..203G, doi:10.1016/0003-4916(74)90384-4 Green, M. B.; Schwarz, J. H.; Witten, E. (1987), Superstring theory. Volume 1: Introduction, Cambridge University Press, ISBN0-521-35752-7
110
General relativity Greenstein, J. L.; Oke, J. B.; Shipman, H. L. (1971), "Effective Temperature, Radius, and Gravitational Redshift of Sirius B", Astrophysical Journal 169: 563, Bibcode1971ApJ...169..563G, doi:10.1086/151174 Hafele, Joseph C.; Keating, Richard E. (July 14, 1972). "Around-the-World Atomic Clocks: Predicted Relativistic Time Gains". Science 177 (4044): 166168. Bibcode1972Sci...177..166H. doi:10.1126/science.177.4044.166. PMID17779917. Hafele, Joseph C.; Keating, Richard E. (July 14, 1972). "Around-the-World Atomic Clocks: Observed Relativistic Time Gains". Science 177 (4044): 168170. Bibcode1972Sci...177..168H. doi:10.1126/science.177.4044.168. PMID17779918. Havas, P. (1964), "Four-Dimensional Formulation of Newtonian Mechanics and Their Relation to the Special and the General Theory of Relativity", Rev. Mod. Phys. 36 (4): 938965, Bibcode1964RvMP...36..938H, doi:10.1103/RevModPhys.36.938 Hawking, Stephen W. (1966), "The occurrence of singularities in cosmology" ([Link] sici?sici=0080-4630(19661018)294:1439<511:TOOSIC>[Link];2-Y), Proceedings of the Royal Society of London A294 (1439): 511521 Hawking, S. W. (1975), "Particle Creation by Black Holes", Communications in Mathematical Physics 43 (3): 199220, Bibcode1975CMaPh..43..199H, doi:10.1007/BF02345020 Hawking, Stephen W. (1987), "Quantum cosmology", in Hawking, Stephen W.; Israel, Werner, 300 Years of Gravitation, Cambridge University Press, pp.631651, ISBN0-521-37976-8 Hawking, Stephen W.; Ellis, George F. R. (1973), The large scale structure of space-time, Cambridge University Press, ISBN0-521-09906-4 Heckmann, O. H. L.; Schcking, E. (1959), "Newtonsche und Einsteinsche Kosmologie", in Flgge, S., Encyclopedia of Physics, 53, pp.489 Heusler, Markus (1998), "Stationary Black Holes: Uniqueness and Beyond" ([Link] lrr-1998-6), Living Rev. Relativity 1, retrieved 2007-08-04 Heusler, Markus (1996), Black Hole Uniqueness Theorems, Cambridge University Press, ISBN0-521-56735-1 Hey, Tony; Walters, Patrick (2003), The new quantum universe, Cambridge University Press, ISBN0-521-56457-3 Hough, Jim; Rowan, Sheila (2000), "Gravitational Wave Detection by Interferometry (Ground and Space)" (http:/ /[Link]/lrr-2000-3), Living Rev. Relativity 3, retrieved 2007-07-21 Hubble, Edwin (1929), "A Relation between Distance and Radial Velocity among Extra-Galactic Nebulae" (http:/ /[Link]/cgi/reprint/15/3/[Link]) (PDF), Proc. Nat. Acad. Sci. 15 (3): 168173, Bibcode1929PNAS...15..168H, doi:10.1073/pnas.15.3.168, PMC522427, PMID16577160 Hulse, Russell A.; Taylor, Joseph H. (1975), "Discovery of a pulsar in a binary system", Astrophys. J. 195: L51L55, Bibcode1975ApJ...195L..51H, doi:10.1086/181708 Ibanez, L. E. (2000), "The second string (phenomenology) revolution", Class. Quant. Grav. 17 (5): 11171128, arXiv:hep-ph/9911499, Bibcode2000CQGra..17.1117I, doi:10.1088/0264-9381/17/5/321 Iorio, L. (2009), "An Assessment of the Systematic Uncertainty in Present and Future Tests of the Lense-Thirring Effect with Satellite Laser Ranging", Space Sci. Rev. 148 (1-4): 363, arXiv:0809.1373, Bibcode2009SSRv..148..363I, doi:10.1007/s11214-008-9478-1 Isham, Christopher J. (1994), "Prima facie questions in quantum gravity", in Ehlers, Jrgen; Friedrich, Helmut, Canonical Gravity: From Classical to Quantum, Springer, ISBN3-540-58339-4 Israel, Werner (1971), "Event Horizons and Gravitational Collapse", General Relativity and Gravitation 2 (1): 5359, Bibcode1971GReGr...2...53I, doi:10.1007/BF02450518 Israel, Werner (1987), "Dark stars: the evolution of an idea", in Hawking, Stephen W.; Israel, Werner, 300 Years of Gravitation, Cambridge University Press, pp.199276, ISBN0-521-37976-8 Janssen, Michel (2005), "Of pots and holes: Einsteins bumpy road to general relativity" ([Link] edu/xythoswfs/webui/_xy-15267453_1-t_ycAqaW0A) (PDF), Ann. Phys. (Leipzig) 14 (S1): 5885,
111
General relativity Bibcode2005AnP...517S..58J, doi:10.1002/andp.200410130 Jaranowski, Piotr; Krlak, Andrzej (2005), "Gravitational-Wave Data Analysis. Formalism and Sample Applications: The Gaussian Case" ([Link] Living Rev. Relativity 8, retrieved 2007-07-30 Kahn, Bob (19962012), Gravity Probe B Website ([Link] Stanford University, retrieved 2012-04-20 Kahn, Bob (April 14, 2007) (PDF), Was Einstein right? Scientists provide first public peek at Gravity Probe B results (Stanford University Press Release) ([Link] [Link]), Stanford University News Service Kamionkowski, Marc; Kosowsky, Arthur; Stebbins, Albert (1997), "Statistics of Cosmic Microwave Background Polarization", Phys. Rev. D55 (12): 73687388, arXiv:astro-ph/9611125, Bibcode1997PhRvD..55.7368K, doi:10.1103/PhysRevD.55.7368 Kennefick, Daniel (2005), "Astronomers Test General Relativity: Light-bending and the Solar Redshift", in Renn, Jrgen, One hundred authors for Einstein, Wiley-VCH, pp.178181, ISBN3-527-40574-7 Kennefick, Daniel (2007), "Not Only Because of Theory: Dyson, Eddington and the Competing Myths of the 1919 Eclipse Expedition", Proceedings of the 7th Conference on the History of General Relativity, Tenerife, 2005, arXiv:0709.0685, Bibcode2007arXiv0709.0685K
112
Kenyon, I. R. (1990), General Relativity, Oxford University Press, ISBN0-19-851996-6 Kochanek, C.S.; Falco, E.E.; Impey, C.; Lehar, J. (2007), CASTLES Survey Website ([Link] edu/castles), Harvard-Smithsonian Center for Astrophysics, retrieved 2007-08-21 Komar, Arthur (1959), "Covariant Conservation Laws in General Relativity", Phys. Rev. 113 (3): 934936, Bibcode1959PhRv..113..934K, doi:10.1103/PhysRev.113.934 Kramer, Michael (2004), "Millisecond Pulsars as Tools of Fundamental Physics", in Karshenboim, S. G., Astrophysics, Clocks and Fundamental Constants (Lecture Notes in Physics Vol. 648), Springer, pp.3354, arXiv:astro-ph/0405178, Bibcode2004LNP...648...33K Kramer, M.; Stairs, I. H.; Manchester, R. N.; McLaughlin, M. A.; Lyne, A. G.; Ferdman, R. D.; Burgay, M.; Lorimer, D. R. et al. (2006), "Tests of general relativity from timing the double pulsar", Science 314 (5796): 97102, arXiv:astro-ph/0609417, Bibcode2006Sci...314...97K, doi:10.1126/science.1132305, PMID16973838 Kraus, Ute (1998), "Light Deflection Near Neutron Stars", Relativistic Astrophysics, Vieweg, pp.6681, ISBN3-528-06909-0 Kucha, Karel (1973), "Canonical Quantization of Gravity", in Israel, Werner, Relativity, Astrophysics and Cosmology, D. Reidel, pp.237288, ISBN90-277-0369-8 Knzle, H. P. (1972), "Galilei and Lorentz Structures on spacetime: comparison of the corresponding geometry and physics" ([Link] Ann. Inst. Henri Poincar a 17: 337362 Lahav, Ofer; Suto, Yasushi (2004), "Measuring our Universe from Galaxy Redshift Surveys" ([Link] [Link]/lrr-2004-8), Living Rev. Relativity 7, retrieved 2007-08-19 Landgraf, M.; Hechler, M.; Kemble, S. (2005), "Mission design for LISA Pathfinder", Class. Quant. Grav. 22 (10): S487S492, arXiv:gr-qc/0411071, Bibcode2005CQGra..22S.487L, doi:10.1088/0264-9381/22/10/048 Lehner, Luis (2001), "Numerical Relativity: A review", Class. Quant. Grav. 18 (17): R25R86, arXiv:gr-qc/0106072, Bibcode2001CQGra..18R..25L, doi:10.1088/0264-9381/18/17/202 Lehner, Luis (2002), Numerical Relativity: Status and Prospects, arXiv:gr-qc/0202055, Bibcode2002grg..conf..210L, doi:10.1142/9789812776556_0010 Linde, Andrei (1990), Particle Physics and Inflationary Cosmology, Harwood, arXiv:hep-th/0503203, [Link]....3203L, ISBN3-7186-0489-2 Linde, Andrei (2005), "Towards inflation in string theory", J. Phys. Conf. Ser. 24: 151160, arXiv:hep-th/0503195, Bibcode2005JPhCS..24..151L, doi:10.1088/1742-6596/24/1/018
General relativity Loll, Renate (1998), "Discrete Approaches to Quantum Gravity in Four Dimensions" ([Link] [Link]/lrr-1998-13), Living Rev. Relativity 1, retrieved 2008-03-09 Lovelock, David (1972), "The Four-Dimensionality of Space and the Einstein Tensor", J. Math. Phys. 13 (6): 874876, Bibcode1972JMP....13..874L, doi:10.1063/1.1666069 MacCallum, M. (2006), "Finding and using exact solutions of the Einstein equations", in Mornas, L.; Alonso, J. D., A Century of Relativity Physics (ERE05, the XXVIII Spanish Relativity Meeting), American Institute of Physics, arXiv:gr-qc/0601102, Bibcode2006AIPC..841..129M, doi:10.1063/1.2218172 Maddox, John (1998), What Remains To Be Discovered, Macmillan, ISBN0-684-82292-X Mannheim, Philip D. (2006), "Alternatives to Dark Matter and Dark Energy", Prog. Part. Nucl. Phys. 56 (2): 340445, arXiv:astro-ph/0505266, Bibcode2006PrPNP..56..340M, doi:10.1016/[Link].2005.08.001 Mather, J. C.; Cheng, E. S.; Cottingham, D. A.; Eplee, R. E.; Fixsen, D. J.; Hewagama, T.; Isaacman, R. B.; Jensen, K. A. et al. (1994), "Measurement of the cosmic microwave spectrum by the COBE FIRAS instrument", Astrophysical Journal 420: 439444, Bibcode1994ApJ...420..439M, doi:10.1086/173574 Mermin, N. David (2005), It's About Time. Understanding Einstein's Relativity, Princeton University Press, ISBN0-691-12201-6 Messiah, Albert (1999), Quantum Mechanics, Dover Publications, ISBN0-486-40924-4 Miller, Cole (2002), Stellar Structure and Evolution (Lecture notes for Astronomy 606) ([Link] edu/~miller/teaching/astr606/), University of Maryland, retrieved 2007-07-25 Misner, Charles W.; Thorne, Kip. S.; Wheeler, John A. (1973), Gravitation, W. H. Freeman, ISBN0-7167-0344-0 Mller, Christian (1952), The Theory of Relativity ([Link] (3rd ed.), Oxford University Press Narayan, Ramesh (2006), "Black holes in astrophysics", New Journal of Physics 7: 199, arXiv:gr-qc/0506078, Bibcode2005NJPh....7..199N, doi:10.1088/1367-2630/7/1/199 Narayan, Ramesh; Bartelmann, Matthias (1997). "Lectures on Gravitational Lensing". arXiv:astro-ph/9606001[astro-ph]. Narlikar, Jayant V. (1993), Introduction to Cosmology, Cambridge University Press, ISBN0-521-41250-1 Nieto, Michael Martin (2006), "The quest to understand the Pioneer anomaly" ([Link] com/full/42/[Link]) (PDF), EurophysicsNews 37 (6): 3034 Nordstrm, Gunnar (1918), "On the Energy of the Gravitational Field in Einstein's Theory" ([Link] [Link]/proceedings/search/[Link]?pubid=2146&view=image&startrow=1), Verhandl. Koninkl. Ned. Akad. Wetenschap., 26: 12381245 Nordtvedt, Kenneth (2003). "Lunar Laser Ranginga comprehensive probe of post-Newtonian gravity". arXiv:gr-qc/0301024[gr-qc]. Norton, John D. (1985), "What was Einstein's principle of equivalence?" ([Link] papers/ProfE_re-[Link]) (PDF), Studies in History and Philosophy of Science 16 (3): 203246, doi:10.1016/0039-3681(85)90002-0, retrieved 2007-06-11 Ohanian, Hans C.; Ruffini, Remo; Ruffini (1994), Gravitation and Spacetime, W. W. Norton & Company, ISBN0-393-96501-5 Olive, K. A.; Skillman, E. A. (2004), "A Realistic Determination of the Error on the Primordial Helium Abundance", Astrophysical Journal 617 (1): 2949, arXiv:astro-ph/0405588, Bibcode2004ApJ...617...29O, doi:10.1086/425170 O'Meara, John M.; Tytler, David; Kirkman, David; Suzuki, Nao; Prochaska, Jason X.; Lubin, Dan; Wolfe, Arthur M. (2001), "The Deuterium to Hydrogen Abundance Ratio Towards a Fourth QSO: HS0105+1619", Astrophysical Journal 552 (2): 718730, arXiv:astro-ph/0011179, Bibcode2001ApJ...552..718O, doi:10.1086/320579
113
General relativity Oppenheimer, J. Robert; Snyder, H. (1939), "On continued gravitational contraction", Physical Review 56 (5): 455459, Bibcode1939PhRv...56..455O, doi:10.1103/PhysRev.56.455 Overbye, Dennis (1999), Lonely Hearts of the Cosmos: the story of the scientific quest for the secret of the Universe, Back Bay, ISBN0-316-64896-5 Pais, Abraham (1982), 'Subtle is the Lord...' The Science and life of Albert Einstein, Oxford University Press, ISBN0-19-853907-X Peacock, John A. (1999), Cosmological Physics, Cambridge University Press, ISBN0-521-41072-X Peebles, P. J. E. (1966), "Primordial Helium abundance and primordial fireball II", Astrophysical Journal 146: 542552, Bibcode1966ApJ...146..542P, doi:10.1086/148918 Peebles, P. J. E. (1993), Principles of physical cosmology, Princeton University Press, ISBN0-691-01933-9 Peebles, P.J.E.; Schramm, D.N.; Turner, E.L.; Kron, R.G. (1991), "The case for the relativistic hot Big Bang cosmology", Nature 352 (6338): 769776, Bibcode1991Natur.352..769P, doi:10.1038/352769a0 Penrose, Roger (1965), "Gravitational collapse and spacetime singularities", Physical Review Letters 14 (3): 5759, Bibcode1965PhRvL..14...57P, doi:10.1103/PhysRevLett.14.57 Penrose, Roger (1969), "Gravitational collapse: the role of general relativity", Rivista del Nuovo Cimento 1: 252276, Bibcode1969NCimR...1..252P Penrose, Roger (2004), The Road to Reality, A. A. Knopf, ISBN0-679-45443-8 Penzias, A. A.; Wilson, R. W. (1965), "A measurement of excess antenna temperature at 4080 Mc/s", Astrophysical Journal 142: 419421, Bibcode1965ApJ...142..419P, doi:10.1086/148307 Peskin, Michael E.; Schroeder, Daniel V. (1995), An Introduction to Quantum Field Theory, Addison-Wesley, ISBN0-201-50397-2 Peskin, Michael E. (2007), Dark Matter and Particle Physics, arXiv:0707.1536, Bibcode2007JPSJ...76k1017P, doi:10.1143/JPSJ.76.111017 Poisson, Eric (2004), "The Motion of Point Particles in Curved Spacetime" ([Link] lrr-2004-6), Living Rev. Relativity 7, retrieved 2007-06-13 Poisson, Eric (2004), A Relativist's Toolkit. The Mathematics of Black-Hole Mechanics, Cambridge University Press, ISBN0-521-83091-5 Polchinski, Joseph (1998a), String Theory Vol. I: An Introduction to the Bosonic String ([Link] org/wiki/Joseph_Polchinski), Cambridge University Press, ISBN0-521-63303-6 Polchinski, Joseph (1998b), String Theory Vol. II: Superstring Theory and Beyond, Cambridge University Press, ISBN0-521-63304-4 Pound, R. V.; Rebka, G. A. (1959), "Gravitational Red-Shift in Nuclear Resonance", Physical Review Letters 3 (9): 439441, Bibcode1959PhRvL...3..439P, doi:10.1103/PhysRevLett.3.439 Pound, R. V.; Rebka, G. A. (1960), "Apparent weight of photons", Phys. Rev. Lett. 4 (7): 337341, Bibcode1960PhRvL...4..337P, doi:10.1103/PhysRevLett.4.337 Pound, R. V.; Snider, J. L. (1964), "Effect of Gravity on Nuclear Resonance", Phys. Rev. Lett. 13 (18): 539540, Bibcode1964PhRvL..13..539P, doi:10.1103/PhysRevLett.13.539 Ramond, Pierre (1990), Field Theory: A Modern Primer, Addison-Wesley, ISBN0-201-54611-6 Rees, Martin (1966), "Appearance of Relativistically Expanding Radio Sources", Nature 211 (5048): 468470, Bibcode1966Natur.211..468R, doi:10.1038/211468a0 Reissner, H. (1916), "ber die Eigengravitation des elektrischen Feldes nach der Einsteinschen Theorie", Annalen der Physik 355 (9): 106120, Bibcode1916AnP...355..106R, doi:10.1002/andp.19163550905 Remillard, Ronald A.; Lin, Dacheng; Cooper, Randall L.; Narayan, Ramesh (2006), "The Rates of Type I X-Ray Bursts from Transients Observed with RXTE: Evidence for Black Hole Event Horizons", Astrophysical Journal 646 (1): 407419, arXiv:astro-ph/0509758, Bibcode2006ApJ...646..407R, doi:10.1086/504862 Renn, Jrgen, ed. (2007), The Genesis of General Relativity (4 Volumes), Dordrecht: Springer, ISBN1-4020-3999-9
114
General relativity Renn, Jrgen, ed. (2005), Albert EinsteinChief Engineer of the Universe: Einstein's Life and Work in Context, Berlin: Wiley-VCH, ISBN3-527-40571-2 Reula, Oscar A. (1998), "Hyperbolic Methods for Einstein's Equations" ([Link] lrr-1998-3), Living Rev. Relativity 1, retrieved 2007-08-29 Rindler, Wolfgang (2001), Relativity. Special, General and Cosmological, Oxford University Press, ISBN0-19-850836-0 Rindler, Wolfgang (1991), Introduction to Special Relativity, Clarendon Press, Oxford, ISBN0-19-853952-5 Robson, Ian (1996), Active galactic nuclei, John Wiley, ISBN0-471-95853-0 Roulet, E.; Mollerach, S. (1997), "Microlensing", Physics Reports 279 (2): 67118, arXiv:astro-ph/9603119, Bibcode1997PhR...279...67R, doi:10.1016/S0370-1573(96)00020-8 Rovelli, Carlo (2000). "Notes for a brief history of quantum gravity". arXiv:gr-qc/0006061[gr-qc]. Rovelli, Carlo (1998), "Loop Quantum Gravity" ([Link] Living Rev. Relativity 1, retrieved 2008-03-13 Schfer, Gerhard (2004), "Gravitomagnetic Effects", General Relativity and Gravitation 36 (10): 22232235, arXiv:gr-qc/0407116, Bibcode2004GReGr..36.2223S, doi:10.1023/B:GERG.0000046180.97877.32 Schdel, R.; Ott, T.; Genzel, R.; Eckart, A.; Mouawad, N.; Alexander, T. (2003), "Stellar Dynamics in the Central Arcsecond of Our Galaxy", Astrophysical Journal 596 (2): 10151034, arXiv:astro-ph/0306214, Bibcode2003ApJ...596.1015S, doi:10.1086/378122 Schutz, Bernard F. (1985), A first course in general relativity, Cambridge University Press, ISBN0-521-27703-5 Schutz, Bernard F. (2001), "Gravitational radiation", in Murdin, Paul, Encyclopedia of Astronomy and Astrophysics, Grove's Dictionaries, ISBN1-56159-268-4 Schutz, Bernard F. (2003), Gravity from the ground up, Cambridge University Press, ISBN0-521-45506-5 Schwarz, John H. (2007), String Theory: Progress and Problems, arXiv:hep-th/0702219, Bibcode2007PThPS.170..214S, doi:10.1143/PTPS.170.214 Schwarzschild, Karl (1916a), "ber das Gravitationsfeld eines Massenpunktes nach der Einsteinschen Theorie", Sitzungsber. Preuss. Akad. D. Wiss.: 189196 Schwarzschild, Karl (1916b), "ber das Gravitationsfeld eines Kugel aus inkompressibler Flssigkeit nach der Einsteinschen Theorie", Sitzungsber. Preuss. Akad. D. Wiss.: 424434 Seidel, Edward (1998), "Numerical Relativity: Towards Simulations of 3D Black Hole Coalescence", in Narlikar, J. V.; Dadhich, N., Gravitation and Relativity: At the turn of the millennium (Proceedings of the GR-15 Conference, held at IUCAA, Pune, India, December 1621, 1997), IUCAA, arXiv:gr-qc/9806088, [Link].....6088S, ISBN81-900378-3-8 Seljak, Uros; Zaldarriaga, Matias (1997), "Signature of Gravity Waves in the Polarization of the Microwave Background", Phys. Rev. Lett. 78 (11): 20542057, arXiv:astro-ph/9609169, Bibcode1997PhRvL..78.2054S, doi:10.1103/PhysRevLett.78.2054 Shapiro, S. S.; Davis, J. L.; Lebach, D. E.; Gregory, J. S. (2004), "Measurement of the solar gravitational deflection of radio waves using geodetic very-long-baseline interferometry data, 19791999", Phys. Rev. Lett. 92 (12): 121101, Bibcode2004PhRvL..92l1101S, doi:10.1103/PhysRevLett.92.121101, PMID15089661 Shapiro, Irwin I. (1964), "Fourth test of general relativity", Phys. Rev. Lett. 13 (26): 789791, Bibcode1964PhRvL..13..789S, doi:10.1103/PhysRevLett.13.789 Shapiro, I. I.; Pettengill, Gordon; Ash, Michael; Stone, Melvin; Smith, William; Ingalls, Richard; Brockelman, Richard (1968), "Fourth test of general relativity: preliminary results", Phys. Rev. Lett. 20 (22): 12651269, Bibcode1968PhRvL..20.1265S, doi:10.1103/PhysRevLett.20.1265 Singh, Simon (2004), Big Bang: The Origin of the Universe, Fourth Estate, ISBN0-00-715251-5 Sorkin, Rafael D. (2005), "Causal Sets: Discrete Gravity", in Gomberoff, Andres; Marolf, Donald, Lectures on Quantum Gravity, Springer, arXiv:gr-qc/0309009, [Link].....9009S, ISBN0-387-23995-2
115
General relativity Sorkin, Rafael D. (1997), "Forks in the Road, on the Way to Quantum Gravity", Int. J. Theor. Phys. 36 (12): 27592781, arXiv:gr-qc/9706002, Bibcode1997IJTP...36.2759S, doi:10.1007/BF02435709 Spergel, D. N.; Verde, L.; Peiris, H. V.; Komatsu, E.; Nolta, M. R.; Bennett, C. L.; Halpern, M.; Hinshaw, G. et al. (2003), "First Year Wilkinson Microwave Anisotropy Probe (WMAP) Observations: Determination of Cosmological Parameters", Astrophys. J. Suppl. 148 (1): 175194, arXiv:astro-ph/0302209, Bibcode2003ApJS..148..175S, doi:10.1086/377226 Spergel, D. N.; Bean, R.; Dor, O.; Nolta, M. R.; Bennett, C. L.; Dunkley, J.; Hinshaw, G.; Jarosik, N. et al. (2007), "Wilkinson Microwave Anisotropy Probe (WMAP) Three Year Results: Implications for Cosmology", Astrophysical Journal Supplement 170 (2): 377408, arXiv:astro-ph/0603449, Bibcode2007ApJS..170..377S, doi:10.1086/513700 Springel, Volker; White, Simon D. M.; Jenkins, Adrian; Frenk, Carlos S.; Yoshida, Naoki; Gao, Liang; Navarro, Julio; Thacker, Robert et al. (2005), "Simulations of the formation, evolution and clustering of galaxies and quasars", Nature 435 (7042): 629636, arXiv:astro-ph/0504097, Bibcode2005Natur.435..629S, doi:10.1038/nature03597, PMID15931216 Stairs, Ingrid H. (2003), "Testing General Relativity with Pulsar Timing" ([Link] lrr-2003-5), Living Rev. Relativity 6, retrieved 2007-07-21 Stephani, H.; Kramer, D.; MacCallum, M.; Hoenselaers, C.; Herlt, E. (2003), Exact Solutions of Einstein's Field Equations (2 ed.), Cambridge University Press, ISBN0-521-46136-7 Synge, J. L. (1972), Relativity: The Special Theory, North-Holland Publishing Company, ISBN0-7204-0064-3 Szabados, Lszl B. (2004), "Quasi-Local Energy-Momentum and Angular Momentum in GR" ([Link] [Link]/lrr-2004-4), Living Rev. Relativity 7, retrieved 2007-08-23 Taylor, Joseph H. (1994), "Binary pulsars and relativistic gravity", Rev. Mod. Phys. 66 (3): 711719, Bibcode1994RvMP...66..711T, doi:10.1103/RevModPhys.66.711 Thiemann, Thomas (2006). "Loop Quantum Gravity: An Inside View". arXiv:hep-th/0608210. Bibcode2007LNP...721..185T. Thiemann, Thomas (2003), "Lectures on Loop Quantum Gravity", Lect. Notes Phys. 631: 41135 Thorne, Kip S. (1972), "Nonspherical Gravitational CollapseA Short Review", in Klauder, J., Magic without Magic, W. H. Freeman, pp.231258 Thorne, Kip S. (1994), Black Holes and Time Warps: Einstein's Outrageous Legacy, W W Norton & Company, ISBN0-393-31276-3 Thorne, Kip S. (1995), Gravitational radiation, arXiv:gr-qc/9506086, [Link]..160T, ISBN0-521-36853-7 Townsend, Paul K. (1997). "Black Holes (Lecture notes)". arXiv:gr-qc/9707012[gr-qc]. Townsend, Paul K. (1996). "Four Lectures on M-Theory". arXiv:hep-th/9612121. Bibcode1997hepcbconf..385T. Traschen, Jenny (2000), "An Introduction to Black Hole Evaporation", in Bytsenko, A.; Williams, F., Mathematical Methods of Physics (Proceedings of the 1999 Londrina Winter School), World Scientific, arXiv:gr-qc/0010055, Bibcode2000mmp..conf..180T Trautman, Andrzej (2006), "Einstein-Cartan theory", in Francoise, J.-P.; Naber, G. L.; Tsou, S. T., Encyclopedia of Mathematical Physics, Vol. 2, Elsevier, pp.189195, arXiv:gr-qc/0606062, [Link].....6062T Unruh, W. G. (1976), "Notes on Black Hole Evaporation", Phys. Rev. D 14 (4): 870892, Bibcode1976PhRvD..14..870U, doi:10.1103/PhysRevD.14.870 Valtonen, M. J.; Lehto, H. J.; Nilsson, K.; Heidt, J.; Takalo, L. O.; Sillanp, A.; Villforth, C.; Kidger, M. et al. (2008), "A massive binary black-hole system in OJ 287 and a test of general relativity", Nature 452 (7189): 851853, arXiv:0809.1280, Bibcode2008Natur.452..851V, doi:10.1038/nature06896, PMID18421348 Wald, Robert M. (1975), "On Particle Creation by Black Holes", Commun. Math. Phys. 45 (3): 934, Bibcode1975CMaPh..45....9W, doi:10.1007/BF01609863 Wald, Robert M. (1984), General Relativity, University of Chicago Press, ISBN0-226-87033-2
116
General relativity Wald, Robert M. (1994), Quantum field theory in curved spacetime and black hole thermodynamics, University of Chicago Press, ISBN0-226-87027-8 Wald, Robert M. (2001), "The Thermodynamics of Black Holes" ([Link] Living Rev. Relativity 4, retrieved 2007-08-08 Walsh, D.; Carswell, R. F.; Weymann, R. J. (1979), "0957 + 561 A, B: twin quasistellar objects or gravitational lens?", Nature 279 (5712): 381, Bibcode1979Natur.279..381W, doi:10.1038/279381a0, PMID16068158 Wambsganss, Joachim (1998), "Gravitational Lensing in Astronomy" ([Link] lrr-1998-12), Living Rev. Relativity 1, retrieved 2007-07-20 Weinberg, Steven (1972), Gravitation and Cosmology, John Wiley, ISBN0-471-92567-5 Weinberg, Steven (1995), The Quantum Theory of Fields I: Foundations, Cambridge University Press, ISBN0-521-55001-7 Weinberg, Steven (1996), The Quantum Theory of Fields II: Modern Applications, Cambridge University Press, ISBN0-521-55002-5 Weinberg, Steven (2000), The Quantum Theory of Fields III: Supersymmetry, Cambridge University Press, ISBN0-521-66000-9 Weisberg, Joel M.; Taylor, Joseph H. (2003), "The Relativistic Binary Pulsar B1913+16"", in Bailes, M.; Nice, D. J.; Thorsett, S. E., Proceedings of "Radio Pulsars," Chania, Crete, August, 2002, ASP Conference Series Weiss, Achim (2006), "Elements of the past: Big Bang Nucleosynthesis and observation" ([Link] [Link]/en/spotlights/BBN_obs/[Link]), Einstein Online ([Link] (Max Planck Institute for Gravitational Physics), retrieved 2007-02-24 Wheeler, John A. (1990), A Journey Into Gravity and Spacetime, Scientific American Library, San Francisco: W. H. Freeman, ISBN0-7167-6034-7 Will, Clifford M. (1993), Theory and experiment in gravitational physics, Cambridge University Press, ISBN0-521-43973-6 Will, Clifford M. (2006), "The Confrontation between General Relativity and Experiment" ([Link] [Link]/lrr-2006-3), Living Rev. Relativity, retrieved 2007-06-12 Zwiebach, Barton (2004), A First Course in String Theory, Cambridge University Press, ISBN0-521-83143-1
117
Further reading
Popular books Geroch, R (1981), General Relativity from A to B, Chicago: University of Chicago Press, ISBN0-226-28864-1 Lieber, Lillian (2008), The Einstein Theory of Relativity: A Trip to the Fourth Dimension, Philadelphia: Paul Dry Books, Inc., ISBN978-1-58988-044-3 Wald, Robert M. (1992), Space, Time, and Gravity: the Theory of the Big Bang and Black Holes, Chicago: University of Chicago Press, ISBN0-226-87029-4 Wheeler, John; Ford, Kenneth (1998), Geons, Black Holes, & Quantum Foam: a life in physics, New York: W. W. Norton, ISBN0-393- 31991-1 Beginning undergraduate textbooks Callahan, James J. (2000), The Geometry of Spacetime: an Introduction to Special and General Relativity, New York: Springer, ISBN0-387-98641-3 Taylor, Edwin F.; Wheeler, John Archibald (2000), Exploring Black Holes: Introduction to General Relativity, Addison Wesley, ISBN0-201-38423-X Advanced undergraduate textbooks B. F. Schutz (2009), A First Course in General Relativity (Second Edition), Cambridge University Press, ISBN978-0-521-88705-2
General relativity Cheng, Ta-Pei (2005), Relativity, Gravitation and Cosmology: a Basic Introduction, Oxford and New York: Oxford University Press, ISBN0-19-852957-0 Gron, O.; Hervik, S. (2007), Einstein's General theory of Relativity, Springer, ISBN978-0-387-69199-2 Hartle, James B. (2003), Gravity: an Introduction to Einstein's General Relativity, San Francisco: Addison-Wesley, ISBN0-8053-8662-9 Hughston, L. P. & Tod, K. P. (1991), Introduction to General Relativity, Cambridge: Cambridge University Press, ISBN0-521-33943-X d'Inverno, Ray (1992), Introducing Einstein's Relativity, Oxford: Oxford University Press, ISBN0-19-859686-3 Graduate-level textbooks Carroll, Sean M. (2004), Spacetime and Geometry: An Introduction to General Relativity (http:// [Link]/), San Francisco: Addison-Wesley, ISBN0-8053-8732-3 Grn, yvind; Hervik, Sigbjrn (2007), Einstein's General Theory of Relativity, New York: Springer, ISBN978-0-387-69199-2 Landau, Lev D.; Lifshitz, Evgeny F. (1980), The Classical Theory of Fields (4th ed.), London: Butterworth-Heinemann, ISBN0-7506-2768-9 Misner, Charles W.; Thorne, Kip. S.; Wheeler, John A. (1973), Gravitation, W. H. Freeman, ISBN0-7167-0344-0 Stephani, Hans (1990), General Relativity: An Introduction to the Theory of the Gravitational Field,, Cambridge: Cambridge University Press, ISBN0-521-37941-5 Wald, Robert M. (1984), General Relativity, University of Chicago Press, ISBN0-226-87033-2
118
External links
Relativity: The special and general theory ([Link] ( PDF (http:// [Link]/pdf/[Link])) Einstein Online ([Link] Articles on a variety of aspects of relativistic physics for a general audience; hosted by the Max Planck Institute for Gravitational Physics NCSA Spacetime Wrinkles ([Link] produced by the numerical relativity group at the NCSA, with an elementary introduction to general relativity Courses/Lectures/Tutorials Einstein's General Theory of Relativity ([Link] list=EC6C8BDEEBA6BDC78D) by Leonard Susskind's Modern Physics lectures. Recorded September 22, 2008 at Stanford University Series of lectures on General Relativity ([Link] given in 2006 at the Institut Henri Poincar (introductory courses and advanced ones). General Relativity Tutorials ([Link] by John Baez Brown, Kevin. "Reflections on relativity" ([Link] [Link]. Retrieved May 29, 2005. Carroll, Sean M.. "Lecture Notes on General Relativity" ([Link] Retrieved November 26, 2006. Moor, Rafi. "Understanding General Relativity" ([Link] Retrieved July 11, 2006. Waner, Stefan. "Introduction to Differential Geometry and General Relativity" ([Link] faculty/Stefan_Waner/RealWorld/pdfs/[Link]) (PDF). Retrieved 2006-01-31.
Hilbert's program
119
Hilbert's program
In mathematics, Hilbert's program, formulated by German mathematician David Hilbert, was a proposed solution to the foundational crisis of mathematics, when early attempts to clarify the foundations of mathematics were found to suffer from paradoxes and inconsistencies. As a solution, Hilbert proposed to ground all existing theories to a finite, complete set of axioms, and provide a proof that these axioms were consistent. Hilbert proposed that the consistency of more complicated systems, such as real analysis, could be proven in terms of simpler systems. Ultimately, the consistency of all of mathematics could be reduced to basic arithmetic. However, some argue that Gdel's incompleteness theorems showed in 1931 that Hilbert's program was unattainable. In his first theorem, Gdel showed that any consistent system with a computable set of axioms which is capable of expressing arithmetic can never be complete: it is possible to construct a statement that can be shown to be true, but that cannot be derived from the formal rules of the system. In his second theorem, he showed that such a system could not prove its own consistency, so it certainly cannot be used to prove the consistency of anything stronger. This refuted Hilbert's assumption that a finitistic system could be used to prove the consistency of a stronger theory.
Hilbert's program
120
References
G. Gentzen, 1936/1969. Die Widerspruchfreiheit der reinen Zahlentheorie. Mathematische Annalen 112:493565. Translated as 'The consistency of arithmetic', in The collected papers of Gerhard Gentzen, M. E. Szabo (ed.), 1969. D. Hilbert. 'Die Grundlagen Der Elementaren Zahlentheorie'. Mathematische Annalen 104:48594. Translated by W. Ewald as 'The Grounding of Elementary Number Theory', pp.266273 in Mancosu (ed., 1998) From Brouwer to Hilbert: The debate on the foundations of mathematics in the 1920s, Oxford University Press. New York. S.G. Simpson, 1988. Partial realizations of Hilbert's program [1]. Journal of Symbolic Logic 53:349363. R. Zach, 2005. Hilbert's Program Then and Now [2]. Manuscript, arXiv:math/0508572v1.
Hilbert's program
121
External links
Entry on Hilbert's program [3] at the Stanford Encyclopedia of Philosophy.
References
[1] http:/ / www. math. psu. edu/ simpson/ papers/ hilbert/ hilbert. html [2] http:/ / arxiv. org/ abs/ math/ 0508572 [3] http:/ / plato. stanford. edu/ entries/ hilbert-program/
Background
Because statements of a formal theory are written in symbolic form, it is possible to mechanically verify that a formal proof from a finite set of axioms is valid. This task, known as automatic proof verification, is closely related to automated theorem proving. The difference is that instead of constructing a new proof, the proof verifier simply checks that a provided formal proof (or, in instructions that can be followed to create a formal proof) is correct. This process is not merely hypothetical; systems such as Isabelle or Coq are used today to formalize proofs and then check their validity. Many theories of interest include an infinite set of axioms, however. To verify a formal proof when the set of axioms is infinite, it must be possible to determine whether a statement that is claimed to be an axiom is actually an axiom. This issue arises in first order theories of arithmetic, such as Peano arithmetic, because the principle of mathematical induction is expressed as an infinite set of axioms (an axiom schema). A formal theory is said to be effectively generated if its set of axioms is a recursively enumerable set. This means that there is a computer program that, in principle, could enumerate all the axioms of the theory without listing any statements that are not axioms. This is equivalent to the existence of a program that enumerates all the theorems of the theory without enumerating any statements that are not theorems. Examples of effectively generated theories with infinite sets of axioms include Peano arithmetic and ZermeloFraenkel set theory. In choosing a set of axioms, one goal is to be able to prove as many correct results as possible, without proving any incorrect results. A set of axioms is complete if, for any statement in the axioms' language, either that statement or its negation is provable from the axioms. A set of axioms is (simply) consistent if there is no statement such that both the statement and its negation are provable from the axioms. In the standard system of first-order logic, an inconsistent set of axioms will prove every statement in its language (this is sometimes called the principle of explosion), and is thus automatically complete. A set of axioms that is both complete and consistent, however, proves a maximal set of non-contradictory theorems. Gdel's incompleteness theorems show that in certain cases it is not possible to obtain an effectively generated, complete, consistent theory.
122
Gdel's incompleteness theorems numbers are to be defined in terms of first order logic have this problem. The existence of an incomplete formal system is, in itself, not particularly surprising. A system may be incomplete simply because not all the necessary axioms have been discovered. For example, Euclidean geometry without the parallel postulate is incomplete; it is not possible to prove or disprove the parallel postulate from the remaining axioms. Gdel's theorem shows that, in theories that include a small portion of number theory, a complete and consistent finite list of axioms can never be created, nor even an infinite list that can be enumerated by a computer program. Each time a new statement is added as an axiom, there are other true statements that still cannot be proved, even with the new axiom. If an axiom is ever added that makes the system complete, it does so at the cost of making the system inconsistent. There are complete and consistent lists of axioms for arithmetic that cannot be enumerated by a computer program. For example, one might take all true statements about the natural numbers to be axioms (and no false statements), which gives the theory known as "true arithmetic". The difficulty is that there is no mechanical way to decide, given a statement about the natural numbers, whether it is an axiom of this theory, and thus there is no effective way to verify a formal proof in this theory. Many logicians believe that Gdel's incompleteness theorems struck a fatal blow to David Hilbert's second problem, which asked for a finitary consistency proof for mathematics. The second incompleteness theorem, in particular, is often viewed as making the problem impossible. Not all mathematicians agree with this analysis, however, and the status of Hilbert's second problem is not yet decided (see "Modern viewpoints on the status of the problem").
123
Gdel's incompleteness theorems natural numbers) are -consistent, and thus Gdel's theorem as originally stated applies to them. The stronger version of the incompleteness theorem that only assumes consistency, rather than -consistency, is now commonly known as Gdel's incompleteness theorem and as the GdelRosser theorem.
124
125
Gdel's incompleteness theorems The combined work of Gdel and Paul Cohen has given two concrete examples of undecidable statements (in the first sense of the term): The continuum hypothesis can neither be proved nor refuted in ZFC (the standard axiomatization of set theory), and the axiom of choice can neither be proved nor refuted in ZF (which is all the ZFC axioms except the axiom of choice). These results do not require the incompleteness theorem. Gdel proved in 1940 that neither of these statements could be disproved in ZF or ZFC set theory. In the 1960s, Cohen proved that neither is provable from ZF, and the continuum hypothesis cannot be proven from ZFC. In 1973, the Whitehead problem in group theory was shown to be undecidable, in the first sense of the term, in standard set theory. Gregory Chaitin produced undecidable statements in algorithmic information theory and proved another incompleteness theorem in that setting. Chaitin's incompleteness theorem states that for any theory that can represent enough arithmetic, there is an upper bound c such that no specific number can be proven in that theory to have Kolmogorov complexity greater than c. While Gdel's theorem is related to the liar paradox, Chaitin's result is related to Berry's paradox.
126