Tarski–Grothendieck set theory: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
→‎Axioms: clean up math
en>JRSpriggs
Undid revision 636467179 by 195.37.61.178 (talk) not a helpful edit; the new notation is less clear than the old
 
Line 1: Line 1:
[[File:Irregular satellites of saturn.jpg|thumb|300px|This diagram shows the orbits of Saturn's irregular satellites. At the centre, the orbit of [[Titan (moon)|Titan]], a regular satellite, is highlighted in red for comparison.]]
The writer is called Irwin. Minnesota has usually been his home but his wife wants them to move. Bookkeeping is my profession. What I love performing is to gather badges but I've been using on new things lately.<br><br>Here is my website ... [http://www.streaming.iwarrior.net/blog/258268 http://www.streaming.iwarrior.net/blog/258268]
In [[astronomy]], an '''irregular moon''' is a [[natural satellite]] following a distant, [[orbital inclination|inclined]], and often [[orbital eccentricity|eccentric]] and [[Retrograde motion|retrograde orbit]]. They are believed to have been captured by their parent planet, unlike [[regular satellite]]s, which formed ''[[in situ]]''.
 
113 irregular satellites have been discovered, orbiting all four of the [[giant planet]]s ([[Jupiter]], [[Saturn]], [[Uranus]] and [[Neptune]]). Before 1997, when Uranian irregulars Caliban and Sycorax were discovered, only eleven were known (counting Triton), including [[Phoebe (moon)|Phoebe]], the largest irregular satellite of Saturn, and [[Himalia (moon)|Himalia]], the largest irregular satellite of Jupiter.  It is currently thought that the irregular satellites were captured from [[heliocentric orbit]]s near their current locations, shortly after the formation of their parent planet. An alternative theory, that they originated further out in the [[Kuiper belt]], is not supported by current observations.
 
== Definition ==
{| align="right" class="wikitable" style="margin-left: 1em; margin-right: 0;"
|-
! Planet
! r<sub>H</sub>, [[Gigametre|10<sup>6</sup>&nbsp;km]]<ref name="Sheppard2006">{{cite doi|10.1017/S1743921305006824}}</ref>
! r<sub>min</sub>,&nbsp;km<ref name="Sheppard2006" />
! Number
|-
| Jupiter
|  51
|  1.5
|59
|-
| Saturn
|  69
|  3
|38
|-
| Uranus
|  73
|  7
| 9
|-
| Neptune
| 116
| 16
| 7 (counting Triton)
|}
 
There is no widely accepted precise definition of an irregular satellite. Informally, satellites are considered irregular if they are far enough from the planet that the [[Precession#Precession of planetary orbits|precession]] of their [[orbital plane (astronomy)|orbital plane]] is primarily controlled by the Sun.
 
In practice, the satellite's [[semi-major axis]] is compared with the planet's [[Hill sphere]] (that is, the sphere of its gravitational influence) <math>r_H</math>. Irregular satellites have semi-major axes greater than 0.05 <math>r_H</math> with [[apoapsis|apoapses]] extending as far as to 0.65 <math>r_H</math>.<ref name="Sheppard2006" /> The radius of the Hill sphere is given in the adjacent table.
{{clear}}
 
== Orbits ==
 
=== Current distribution ===
[[File:TheIrregulars.svg|thumb|300px|Irregular satellites of Jupiter (red), Saturn (yellow), Uranus  (green) and Neptune (blue) (excluding Triton). The horizontal axis shows their distance from the planet ([[semi-major axis]]) expressed as a fraction of the planet’s [[Hill sphere]]'s radius. The vertical axis shows their [[orbital inclination]]. Points or circles represent their relative sizes.]]
The orbits of the known irregular satellites are extremely diverse, but there are certain rules. [[Retrograde and direct motion|Retrograde orbit]]s are far more common (83%) than prograde orbits. No satellites are known with orbital inclinations higher than 55° (or smaller than 130° for retrograde satellites). In addition, some groupings can be identified, in which one large satellite shares a similar orbit with a few smaller ones.
 
Given their distance from the planet, the orbits of the outer satellites are highly perturbed by the Sun and their orbital elements change widely over short intervals. The semi-major axis of [[Pasiphae (moon)|Pasiphae]], for example, changes as much as 1.5 Gm in two years (single orbit), the inclination around 10°, and the eccentricity as much as 0.4 in 24 years (twice Jupiter’s orbit period).<ref name="Carruba2000">
[[Valerio Carruba|Carruba, V.]]; [[Joseph A. Burns|Burns, J. A.]]; [[Phil Nicholson|Nicholson, P. D.]]; [[Brett J. Gladman|Gladman, B. J.]]; ''On the Inclination Distribution of the Jovian Irregular Satellites'', Icarus, '''158''' (2002), pp. 434–449 [http://astrosun2.astro.cornell.edu/~valerio/val_c.pdf (pdf)]</ref>
Consequently, ''mean'' orbital elements (averaged over time) are used to identify the groupings rather than [[osculating orbit|osculating elements]] at the given date. (Similarly, the [[proper orbital elements]] are used to determine the [[Asteroid family|families of asteroids]].)
 
=== Origin ===
{{see also|Triton (moon)#Capture}}
Irregular satellites are believed to have been captured from heliocentric orbits. (Indeed, it appears that the irregular moons of the gas giants, the [[Trojan asteroid|Jovian]] and [[Neptune Trojan|Neptunian trojans]], and grey [[Kuiper belt]] objects have a similar origin.<ref name=Nep>{{cite journal | last1 = Sheppard | first1 = S. S. | authorlink2 = Chad Trujillo | last2 = Trujillo | first2 = C. A. | year = 2006 | title = A Thick Cloud of Neptune Trojans and Their Colors | url = http://www.ciw.edu/users/sheppard/pub/Sheppard06NepTroj.pdf | format = PDF | journal = Science | volume = 313 | issue = 5786| pages = 511–514 | doi = 10.1126/science.1127173 | pmid = 16778021 |bibcode = 2006Sci...313..511S }}</ref>) For this to occur, one of three things needs to have happened:
* energy dissipation (e.g. in interaction with the primordial gas cloud)
* a substantial (40%) extension of the planet's [[Hill sphere]] in a brief period of time (thousands of years)
* a transfer of energy in a [[three-body interaction]]. This could involve:
**  a collision (or close encounter) of an incoming body and a satellite, resulting in the incoming body losing energy and being captured.
**  a close encounter between an incoming binary object and the planet (or possibly an existing moon), resulting in one component of the binary being captured. Such a route has been suggested as most likely for [[Triton (moon)|Triton]].<ref name="Agnor06">{{cite journal |author=[[Craig B. Agnor|Agnor, C. B.]] and [[Douglas P. Hamilton|Hamilton, D. P.]] |title=Neptune's capture of its moon Triton in a binary-planet gravitational encounter |journal=Nature |year=2006 |volume=441 |pages=192–4 |bibcode=2006Natur.441..192A | doi=10.1038/nature04792 |pmid=16688170 |issue=7090}}</ref>
 
After the capture, some of the satellites could break up leading to [[#Families with a common origin|groupings]] of smaller moons following similar orbits. [[Orbital resonance|Resonances]] could further modify the orbits making these groupings less recognizable.
 
=== Long-term stability ===
[[File:Phoebe cassini.jpg|thumb|150px|[[Phoebe (moon)|Phoebe]], Saturn's largest irregular satellite]]
Remarkably, the current orbits prove stable in numerical simulations, in spite of substantial perturbations near the [[apocenter]].<ref name="Nesvorny2003">
[[David Nesvorný|Nesvorný, D.]]; [[Jose L. A. Alvarellos|Alvarellos, J. L. A.]]; [[Luke Dones|Dones, L.]]; and [[Harold F. Levison|Levison, H. F.]]; ''[http://adsabs.harvard.edu/abs/2003AJ....126..398N Orbital and Collisional Evolution of the Irregular Satellites]'', The Astronomical Journal,'''126''' (2003), pp. 398–429. [http://www.journals.uchicago.edu/AJ/journal/issues/v126n1/202528/202528.web.pdf]</ref>
The cause of this stability in a number of irregulars is the fact that they orbit with a [[Secular resonance|secular]] or [[Kozai mechanism|Kozai resonance]].<ref name="Burns2004">[[Matija Ćuk|Ćuk, M.]] and Burns, J. A.; ''A New Model for the Secular Behavior of the Irregular Satellites'', American Astronomical Society, DDA meeting #35, #09.03; Bulletin of the American Astronomical Society, Vol. 36, p. 864 ([http://arxiv.org/abs/astro-ph/0408119 preprint])</ref>
 
In addition, simulations indicate the following conclusions:
* Orbits with inclinations higher than 50° (or less than 130° for retrograde orbits) are very unstable: their eccentricity increases quickly resulting in the satellite being lost<ref name="Carruba2000"/>
* Retrograde orbits are more stable than prograde (stable retrograde orbits can be found further from the planet)
Increasing eccentricity results in smaller pericenters and large apocenters. The satellites enter the zone of the regular (larger) moons and are lost or ejected via collision and close encounters. Alternatively, the increasing perturbations by the Sun at the growing apocenters push them beyond the Hill sphere.
 
Retrograde satellites can be found further from the planet than prograde ones. Detailed numerical integrations have shown this asymmetry. The limits are a complicated function of the inclination and eccentricity, but in general, prograde orbits with semi-major axes up to 0.47 r<sub>H</sub> (Hill sphere radius) can be stable, while for retrograde orbits stability can extend out to 0.67 r<sub>H</sub>.
 
The boundary for the semimajor axis is surprisingly sharp for the prograde satellites. A satellite on a prograde, circular orbit (inclination=0°) placed at 0.5 r<sub>H</sub> would leave Jupiter in as little as forty years. The effect can be explained by so-called ''evection resonance''. The apocenter of the satellite, where the planet’s grip on the moon is at its weakest, gets locked in resonance with the position of the Sun. The effects of the perturbation accumulate at each passage pushing the satellite even further outwards.<ref name="Nesvorny2003" />
 
The asymmetry between the prograde and retrograde satellites can be explained very intuitively by the [[Coriolis acceleration]] in the [[Rotating frame|frame rotating]] with the planet. For the prograde satellites the acceleration points outward and for the retrograde it points inward, stabilising the satellite.<ref name="HamBurns91">Hamilton, D. P.; and Burns, J. A.; ''Orbital Stability Zones about Asteroids'', Icarus '''92''' (1991), pp. 118–131D.</ref>
 
== Physical characteristics ==
 
=== Size ===
<!-- This section needs an explanation in plain language of what can be concluded from this formula. -->
[[File:TheKuiperBelt PowerLaw2.svg|thumb|220px|Illustration of the power law. The number of objects depends on their size.]]
Given their greater distance from Earth, the known irregular satellites of Uranus and Neptune are larger than those of Jupiter and Saturn; smaller ones probably exist but have not yet been observed. However, with this observational bias in mind, the size distribution is similar for all four giant planets.
 
Typically, the relation expressing the number <math>N\,\! </math> of objects of the diameter smaller or equal to <math>D\,\! </math> is approximated by a [[power law]]:
: <math> \frac{d N}{d D} \sim D^{-q}</math> with ''q'' defining the slope.
 
A shallow power law (''q''~2) is observed for sizes 10 to 100&nbsp;km<sup>†</sup> but steeper (''q''~3.5) for objects smaller than 10&nbsp;km<sup>‡</sup> .
 
For comparison, the distribution of [[Kuiper belt]] objects is much steeper (''q''~4), i.e. for one object of 1000&nbsp;km there are a thousand objects with a diameter of 100&nbsp;km. The size distribution provides insights into the possible origin (capture, collision/break-up or accretion).
 
<sup>†</sup><small>For every object of 100&nbsp;km, ten objects of 10&nbsp;km can be found.</small><br />
<sup>‡</sup><small>For one object of 10&nbsp;km, some 140 objects of 1&nbsp;km can be found.</small>
 
=== Colours ===
[[File:TheIrregulars Colours.svg|thumb|300px|This diagram illustrates the differences of colour in the irregular satellites of Jupiter (red labels), Saturn (yellow) and Uranus (green). Only irregulars with known colour indices are shown. For reference, the [[Centaur (planetoid)|centaur]] [[5145 Pholus|Pholus]] and three [[classical Kuiper belt object]]s are also plotted (grey labels, size not to scale).
For comparison, see also [[Centaur (planetoid)#Physical characteristics|colours of centaurs]] and [[trans-Neptunian object#Physical characteristics|KBOs]].]]
The colours of irregular satellites can be studied via [[Color index|colour indices]]: simple measures of differences of the [[apparent magnitude]] of an object through [[blue]] (B), visible ''i.e.'' green-yellow (V), and [[red]] (R) [[filter (optics)|filter]]s. The observed colours of the irregular satellites vary from neutral (greyish) to reddish (but not as red as the colours of some Kuiper belt objects).
 
{| align="right" class="wikitable" style="margin-left: 1em; margin-right: 0;"
! [[albedo]]<ref>Based on the definitions from ''Oxford Dictionary of Astronomy'', ISBN 0-19-211596-0</ref>
! neutral
! reddish
! red
|-
| low
| '''[[C-type asteroid|C]]''' <sub>3–8%</sub>
| '''[[P-type asteroid|P]]''' <sub>2–6%</sub>
| '''[[D-type asteroid|D]]''' <sub>2–5%</sub>
|-
| medium
|
| '''[[M-type asteroid|M]]''' <sub>10–18%</sub>
| '''[[A-type asteroid|A]]''' <sub>13–35%</sub>
|-
| high
|
| '''[[E-type asteroid|E]]''' <sub>25–60%</sub>
|
|}
 
Each planet's system displays slightly different characteristics. Jupiter's irregulars are grey to slightly red, consistent with [[C-type asteroid|C]], [[P-type asteroid|P]] and [[D-type asteroid]]s.<ref name="Grav2003">[[Tommy Grav|Grav, T.]]; [[Matthew J. Holman|Holman, M. J.]]; Gladman, B. J.; and [[Kaare Aksnes|Aksnes, K.]]; ''Photometric survey of the irregular satellites'', Icarus, '''166''' (2003), pp. 33–45 ([http://arxiv.org/abs/astro-ph/0301016 preprint]).</ref> Some groups of satellites are observed to display similar colours (see later sections). Saturn's irregulars are slightly redder than those of Jupiter.
 
The large Uranian irregular satellites ([[Sycorax (moon)|Sycorax]] and [[Caliban (moon)|Caliban]]) are light red, while smaller [[Prospero (moon)|Prospero]] and [[Setebos (moon)|Setebos]] are grey, as are Neptunian sateliites Nereid and [[Halimede (moon)|Halimede]].<ref name="GravHolmanFraser2004">{{cite doi | 10.1086/424997 }}</ref>
 
=== Spectra ===
With the current resolution, the visible and near-infrared spectra of most satellites appear featureless. So far, water ice has been inferred on Phoebe and Nereid and features attributed to aqueous alteration were found on Himalia.
 
=== Rotation ===
Regular satellites are usually [[Tidal locking|tidally locked]] (that is, their orbit is [[Synchronous orbit|synchronous]] with their rotation so that they only show one face toward their parent planet). In contrast, tidal forces on the irregular satellites are negligible given their distance from the planet, and rotation periods in the range of only ten hours have been measured for the biggest moons [[Himalia (moon)|Himalia]], [[Phoebe (moon)|Phoebe]] and [[Nereid (moon)|Nereid]] (to compare with their orbital periods of hundreds of days). Such rotation rates are in the same range that is typical for [[asteroid]]s.
{{clear}}
 
== Families with a common origin ==
Some irregular satellites appear to orbit in 'groups', in which several satellites share similar orbits. The leading theory is that these objects constitute [[Collisional family|collisional families]], parts of a larger body that broke up.
 
=== Dynamic groupings ===
Simple collision models can be used to estimate the possible dispersion of the orbital parameters given a velocity impulse δ'''V'''. Applying these models to the known orbital parameters makes possible to estimate the δ'''V''' necessary to create the observed dispersion. It is believed that δ'''V''' of tens of meters per seconds (5–50&nbsp;m/s) could result from a break-up. Dynamical groupings of irregular satellites can be identified using these criteria and the likelihood of the common origin from a break-up evaluated.<ref name="Nesvorny2004">Nesvorný, D.; [[Cristian Beaugé|Beaugé, C.]]; and Dones, L.; ''Collisional Origin of Families of Irregular Satellites'', The Astronomical Journal, '''127''' (2004), pp. 1768–1783 [http://www.boulder.swri.edu/~davidn/papers/irrbig.pdf (pdf)]</ref>
 
When the dispersion of the orbits is too wide (i.e. it would require δ'''V''' in the order of hundreds of m/s)
* either more than one collision must be assumed, i.e. the cluster should be further subdivided into groups
* or significant post-collision changes, for example resulting from resonances, must be postulated.
 
=== Colour groupings ===
When the colours and spectra of the satellites are known, the homogeneity of these data for all the members of a given grouping is a substantial argument for a common origin. However, lack of precision in the available data often makes it difficult to draw statistically significant conclusions. In addition, the observed colours are not necessarily representative of the bulk composition of the satellite.
 
== Observed groupings ==
 
=== Irregular satellites of Jupiter ===
[[File:TheIrregulars JUPITER.svg|thumb|300px|The orbits of Jupiter's irregular satellites, showing how they cluster into groups. Satellites are represented by circles that indicate their relative sizes. An object's position on the horizontal axis shows its distance from Jupiter. Its position on the vertical axis indicates its [[orbital inclination]]. The yellow lines indicate its [[orbital eccentricity]]  (i.e. the extent to which its distance from Jupiter varies during its orbit).]]
Typically, the following groupings are listed (dynamically tight groups displaying homogenous colours are listed in '''bold''')
* [[Retrograde motion|Prograde]] satellites
** The '''[[Himalia group]]''' shares an average inclination of 28°. They are confined dynamically (δ'''V''' ≈ 150&nbsp;m/s). They are homogenous at visible wavelengths (having neutral colours similar to those of [[C-type asteroid]]s) and at near [[infrared]] wavelengths<ref name="Grav2004">Grav, T.; and Holman, M. J.; ''Near-Infrared Photometry of the Irregular Satellites of Jupiter and Saturn'',The Astrophysical Journal, '''605''', (2004), pp. L141–L144 ([http://arxiv.org/abs/astro-ph/0312571 preprint]).</ref>
** [[Themisto (moon)|Themisto]] is so far believed to be isolated.
** [[Carpo (moon)|Carpo]] is so far believed to be isolated.
* [[Retrograde motion|Retrograde]] satellites
** The '''[[Carme group]]''' shares an average inclination of 165°. It is dynamically tight (5 < δ'''V''' < 50&nbsp;m/s). It is very homogenous in colour, each member displaying light red colouring consistent with a [[D-type asteroid]] progenitor.
** The '''[[Ananke group]]''' shares an average inclination of 148°. It shows little dispersion of orbital parameters (15 < δ'''V''' < 80&nbsp;m/s). [[Ananke (moon)|Ananke]] itself appears light red but the other group members are grey.
** The [[Pasiphae group]] is very dispersed. [[Pasiphae (moon)|Pasiphae]] itself appears to be grey while other members ([[Callirrhoe (moon)|Callirrhoe]], [[Megaclite (moon)|Megaclite]]) are light red
[[Sinope (moon)|Sinope]], sometimes included into Pasiphae group, is red and given the difference in inclination, it could be captured independently.<ref name="Grav2003" /><ref name="SheppardJewitt2003">{{cite doi|10.1038/nature01584}}</ref>
Pasiphae and Sinope are also trapped in a [[secular resonance]]s with Jupiter.<ref name="Nesvorny2003" /><ref name="Nesvorny2004" />
{{clear}}
 
=== Irregular satellites of Saturn ===
[[File:TheIrregulars SATURN.svg|thumb|300px|Irregular satellites of Saturn, showing how they cluster into groups. For explanation, see Jupiter diagram]]
The following groupings are commonly listed for Saturn's satellites:
* Prograde satellites
** The '''[[Gallic group]]''' shares an average inclination of 34°. Their orbits are dynamically tight (δ'''V''' ≈ 50&nbsp;m/s), and they are light red in colour; the colouring is homogenous at both visible and near infra-red wavelengths.<ref name="Grav2004" />
** The [[Inuit group]] shares an average inclination of 46°. Their orbits are widely dispersed (δ'''V''' ≈ 350&nbsp;m/s) but they are physically homogenous, sharing a light red colouring.
* Retrograde satellites
** The [[Norse group]] is defined mostly for naming purposes; the orbital parameters are very widely dispersed. Sub-divisions have been investigated, including
*** The [[Phoebe (moon)|Phoebe]] group shares an average inclination of 174°; this sub-group too is widely dispersed, and may be further divided into at least two sub-sub-groups
*** The [[Skathi (moon)|Skathi]] group is a possible sub-group of the Norse group
{{clear}}
 
=== Irregulars of Uranus and Neptune ===
[[File:TheIrregulars NEPTUNE URANUS.svg|thumb|300px|Irregular satellites of Uranus (green) and Neptune (blue) (excluding Triton). For explanation, see Jupiter diagram]]
 
According to current knowledge, the number of irregular satellites orbiting Uranus and Neptune is smaller than that of Jupiter and Saturn. However, it is believed this is simply a result of observational difficulties due to the greater distance of Uranus and Neptune. The table at left shows the minimum [[radius]] (r<sub>min</sub>) of satellites that can be detected with current technology, assuming an [[albedo]] of 0.04; thus, there are almost certainly small Uranian and Neptunian moons that cannot yet be seen.
 
Due to the smaller numbers, statistically significant conclusions about the groupings are difficult. A single origin for the retrograde irregulars of Uranus seems unlikely given a dispersion of the orbital parameters that would require high impulse (δ'''V''' ≈ 300&nbsp;km) implying a large diameter of the impactor (395&nbsp;km), which is incompatible in turn with the size distribution of the fragments. Instead, the existence of two groupings has been speculated:<ref name="Grav2003" />
* [[Caliban (moon)|Caliban]] group
* [[Sycorax (moon)|Sycorax]] group
These two groups are distinct (with 3σ confidence) in their distance from Uranus and in their eccentricity.<ref name="SheppardUranus2005">{{cite doi|10.1086/426329}}</ref>
However, these groupings are not directly supported by the observed colours: Caliban and Sycorax appear light red while the smaller moons are grey.<ref name="GravHolmanFraser2004" />
 
For Neptune, a possible common origin of [[Psamathe (moon)|Psamathe]] and [[Neso (moon)|Neso]] has been noted.<ref name="SheppardJewittKleyna2006">{{cite doi | 10.1086/504799 }}</ref> Given the similar (grey) colours, it was also suggested that  [[Halimede (moon)|Halimede]] could be a fragment of  Nereid.<ref name="GravHolmanFraser2004" /> The two satellites have had a very high probability (41%) of collision over the age of the solar system.<ref name="HolmanKavelaarsGrav2004">{{cite doi | 10.1038/nature02832 }}</ref>
 
== Exploration ==
[[File:Himalia.png|thumb|Distant ''Cassini'' image of Himalia]]
To date, the only irregular satellite to have been visited by a spacecraft is [[Phoebe (moon)|Phoebe]], the largest of Saturn's irregulars, which was photographed by the ''[[Cassini probe|Cassini]]'' probe in 2004. ''Cassini'' also captured a distant, low resolution image of Jupiter's [[Himalia (moon)|Himalia]] in 2000. There are no spacecraft planned to visit any irregular satellites in the future.
{{clear}}
 
== References ==
{{reflist|2}}
 
== External links ==
* [http://www2.ess.ucla.edu/~jewitt/irregulars.html David Jewitt's pages]
* [http://www.dtm.ciw.edu/users/sheppard/satellites Scott Sheppard's pages]
* Discovery circumstances [http://ssd.jpl.nasa.gov/?sat_discovery from JPL]
* Mean orbital elements [http://ssd.jpl.nasa.gov/?sat_elem from JPL]
* [http://www.minorplanetcenter.org/iau/NatSats/NaturalSatellites.html MPC: Natural Satellites Ephemeris Service]
 
{{Solar System moons (compact)}}
 
{{DEFAULTSORT:Irregular Moon}}
[[Category:Irregular satellites| ]]
[[Category:Moons]]
[[Category:Orbits]]

Latest revision as of 18:00, 3 December 2014

The writer is called Irwin. Minnesota has usually been his home but his wife wants them to move. Bookkeeping is my profession. What I love performing is to gather badges but I've been using on new things lately.

Here is my website ... http://www.streaming.iwarrior.net/blog/258268