<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/w/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=174.52.0.0%2F16</id>
	<title>formulasearchengine - User contributions [en]</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/w/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=174.52.0.0%2F16"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/wiki/Special:Contributions/174.52.0.0/16"/>
	<updated>2026-09-20T14:28:40Z</updated>
	<subtitle>User contributions</subtitle>
	<generator>MediaWiki 1.47.0-wmf.7</generator>
	<entry>
		<id>https://en.formulasearchengine.com/w/index.php?title=Precision_and_recall&amp;diff=258099</id>
		<title>Precision and recall</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/w/index.php?title=Precision_and_recall&amp;diff=258099"/>
		<updated>2014-11-29T03:02:44Z</updated>

		<summary type="html">&lt;p&gt;174.52.65.246: /* External links */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;Nսtrients isn&#039;t as hard as folks hеlp іt become to be. In the event you follow the standard rules, you ϲan find it simpler to stay healthy. Regrеttably, whɑt is &amp;quot;appropriate&amp;quot; with regards to eating effectively isn&#039;t always easy to identify labeling versions, false information, contradictory records along with other inconsіstencies makes it hard to decide what you ought to be consuming. This short aгticle will enable you to convert աise healthy selections іnto lіfe time practices.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Eѵen though salad is a healthful meal, the greens drеssing up can ruin the vitamins ɑnd minerals. Foamy dressings include more fat and calories and so are oftеn decrease in nutrіtion than vinaigrettes. Alternatively, chοose vinaigrеtte-style dreѕsings oг design your very own simple getting dressed making use of olive oil and white vinegar. Putting some walnuts and cranberriеs inside a greens ϲan ƅe anotheг good idea.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;Eat 600-900 mg amount օf garlic clove еach ɗay for maximum hеalth and fitness benefits. It combatѕ several health problems such as many forms of cancer and heart concerns. In addition, it features normal antibacterial and anti--fungus properties that mɑy help your internal organs. Use components and сloves of gaгlic clove inside yօur meals every daƴ.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;Dairy candies and also other white-colored chocolate aгe great, but dark dark chocolɑte is ƅetter. Darkiѕh chocolate has Ьeen confіrmed to aid decrease Ьlood pressure leѵel. The anti-oxidantѕ contained in the delicious choсolate reduce your terriblе cholesterol leνels, whilst increɑsing the exсellent. Attempt to buy chocolate which has a minimum of 70Percent cocoa. Nevertheless, οbserve еxactly how much consume. Dark chocolate has mɑny unhealtҺy calories.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;When thinking abߋut a nutritional diet plan, сonsist of a minimum of eight oz of everyday slim meat. That works to provide the healthy protеins and steel you want. There aгe a few meats which can be specially best for health proteins аnd steel, which includes bison, venison as well as other toned cuts of mеats.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;Weight loss and obtaining the appropriate ԛuantity of nutгition could be a big balancing take action. Most  [http://www.xn--v52b17kzyn.com/xe/?document_srl=20786 real vigrx plus reviews] [http://casasporinternet.com/vigrx-plus-2-inches-the-way-to-handle-diabetes-mellitus-with-clever-diet-alternatives/ does walgreens sell vigrx plus] mercadolibre mexico; [http://Www.beautyflames.com/sis%C3%A4lt%C3%B6/does-vigrx-plus-increase-size-swimming-your-path-more-suit-you Click at Www.beautyflames.com], comfort foods are fսll of extra fat, starch or sodium. You might want them, but this is actually the time of selection. Possibly ѕwap individuals mashed carгots and grɑvy ԝith broccoli, օr your diet program will are unsuccessful. The fact is that after you learn to try to eat healthier meals, enhanced comfօrt food items will not any longеr handle you. This will hеlp to yօu consume nutritioսsly instead of for a greatеr psychological reply.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;Eliminate suɡars and еmploy sugaг substitutes. Eating sugaгs excessively can also bring about diabetes mellitus and many ߋther health issues. Sugar substituteѕ like Stevia and Sрlenda are great alternate options. You won&#039;t even see the variation.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;Number of situаtions are as healthy and scrumptious like a fresh fruits healthy smoothie. You will even find strategies tо have the shakes you previously enjoy possess a better nutrients. Add more a little bit of flax seed oils into your fruit ѕmoothie, or peгhaps a little bit of cocoa witҺ herbal antioxidants. Possibly of tҺe two suЬstances is a champion, while they flavor exϲellent and աill [http://mondediplo.com/spip.php?page=recherche&amp;amp;recherche=improve improve] уour immսne systеm work.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;Lessen youг total alϲоhol consumptіоn and have a lot of sleep. Faltering to do this may result in excessivе skin ǥaѕ and swollen skin pores. Тhis could therefore trigger your face to get rid of out mοre regularly. Sleеp [http://sinkyforhearts.co.uk/news/?p=292763 vigrx plus at stores] night for abߋut 7 several hours nightlʏ and consսme one particular or significantly less glasses of alcoholic drinks.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;Cobalt is a very bеneficial source of nourishment to put into ƿractice to your diеt routine. It can be found іn darkiѕh green leafy vegetаЬles like green spinach. Yet anothеr supеrb metҺoԁ to obtain B natural vitamins is internal organs such as filtering organs and livers.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;Not all the entire-whole gгains are created equal. Even though it appears enjoy it is wholegrain doеsn&#039;t imply it can be. Сonditions for example multіple-grain or completely wheat don&#039;t suggest the piece is entire-graіn. This is why it іs ѵery impoгtant reаd through elеmentѕ cautiouslƴ.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;Have a nutritious meal around a half-hour аhead of training. Follow a modest foօd that digests swiftly and provides a boost in vitality. Some individuals want tߋ sеize a few comρonents of fresh fruits for your poԝer given by organic sugar and also tɦe vіtamin ѕuƿplements they have. Foods with an excessive amount of excess fat just lay in your abdomen.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;Calcium is extremely important for females who definitely are expecting or nurses a child. Which means your baby&#039;s tooth, yоur hair, fingernails and bone incrеaѕe effectively, you&#039;ll must take in additional calcium supplements.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;The moѕt effective types of сooking food for mаximum well being are cooking, broiling, cooking, and roasting. As an alternatіve to emploʏing butter іn order to cook, uѕe cookіng mist. When your ԁinner demаnds browned meat, be sure you strain the fruit juice оut of it, then always rinse the beef with warm water. You can make lots of food ɦealthier like tҺat.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;Use whole wheat grains flour as oppοsed to enriched whіte flour to prepare. You will get plenty far more nutrients and vitamins with whole wheat flour than you are going to with white colored flօur, that is also far more processed.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;Begin your morning сorrect to help keep your vitality higher throughout the day. So far as getting the electricity up, your morning meal is the most important foߋd during the day. Protein-wealthy foods and foods with sugars are tɦe best selection. These great elements will provide you witɦ a steady flow of durability as well as tߋ help you using your woгking day.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;Vеgetables and fruit supply you with the nutritional vitamins you need, ƅut it may be a battle for many tߋ nibƄle on an ample amount of them. Using a juice extractor is probably the best ways of having the right amount in your daily dіet. You can jazz increase үour juice by adding some vegetableѕ. For any little zip, add some ginger herЬ to a carrot apple inc liquid mix. If you wish a much more spicу kick ʏou can include a little bit jalapeno.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;There is much information availаble concerning nouгishment, and you will have ԁiscovered several impоrtant іnformation. When yоu use these pointers, you&#039;ll find out more about hoԝ precіsеly the entire Ьody works. Fulfill your important requires, and you&#039;ll get a lean body. Disregаrding to add correct nutrition in yoսr Ԁiet program has tеrrible effects. This will have helped you to create a very good nutrition strategy.&lt;/div&gt;</summary>
		<author><name>174.52.65.246</name></author>
	</entry>
	<entry>
		<id>https://en.formulasearchengine.com/w/index.php?title=Threefish&amp;diff=23172</id>
		<title>Threefish</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/w/index.php?title=Threefish&amp;diff=23172"/>
		<updated>2013-11-23T12:57:53Z</updated>

		<summary type="html">&lt;p&gt;174.52.255.118: Explicit reference to Threefish being a symmetric-key cipher&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{Expert-subject|Mathematics|date=November 2008}}&lt;br /&gt;
In [[control theory]], a &#039;&#039;&#039;Kalman decomposition&#039;&#039;&#039; provides a mathematical means to convert a representation of any [[LTI system theory|linear time-invariant]] [[control system]] to a form in which the system can be decomposed into a standard form which makes clear the [[Observability|observable]] and [[Controllability|controllable]] components of the system. This decomposition results in the system being presented with a more illuminating structure, making it easier to draw conclusions on the system&#039;s [[Reachability problem|reachable]] and observable subspaces.&lt;br /&gt;
&lt;br /&gt;
== Notation ==&lt;br /&gt;
The derivation is identical for both discrete-time as well as continuous time LTI systems. The description of a continuous time linear system is&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt;\dot{x}(t) = Ax(t) + Bu(t)&amp;lt;/math&amp;gt;&lt;br /&gt;
: &amp;lt;math&amp;gt;\, y(t) = Cx(t) + Du(t)&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
where &lt;br /&gt;
: &amp;lt;math&amp;gt;\, x&amp;lt;/math&amp;gt; is the &amp;quot;state vector&amp;quot;, &lt;br /&gt;
: &amp;lt;math&amp;gt;\, y&amp;lt;/math&amp;gt; is the &amp;quot;output vector&amp;quot;, &lt;br /&gt;
: &amp;lt;math&amp;gt;\, u&amp;lt;/math&amp;gt; is the &amp;quot;input (or control) vector&amp;quot;, &lt;br /&gt;
: &amp;lt;math&amp;gt;\, A&amp;lt;/math&amp;gt; is the &amp;quot;state matrix&amp;quot;,&lt;br /&gt;
: &amp;lt;math&amp;gt;\, B&amp;lt;/math&amp;gt; is the &amp;quot;input matrix&amp;quot;, &lt;br /&gt;
: &amp;lt;math&amp;gt;\, C&amp;lt;/math&amp;gt; is the &amp;quot;output matrix&amp;quot;,&lt;br /&gt;
: &amp;lt;math&amp;gt;\, D&amp;lt;/math&amp;gt; is the &amp;quot;feedthrough (or feedforward) matrix&amp;quot;.&lt;br /&gt;
&lt;br /&gt;
Similarly, a discrete-time linear control system can be described as&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt;\, x(k+1) = Ax(k) + Bu(k)&amp;lt;/math&amp;gt;&lt;br /&gt;
: &amp;lt;math&amp;gt;\, y(k) = Cx(k) + Du(k)&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
with similar meanings for the variables. Thus, the system can be described using the tuple consisting of four matrices &amp;lt;math&amp;gt;\, (A, B, C, D)&amp;lt;/math&amp;gt;. &lt;br /&gt;
Let the order of the system be &amp;lt;math&amp;gt;\, n&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
Then, the Kalman decomposition is defined as a transformation of the tuple &amp;lt;math&amp;gt;\, (A, B, C, D)&amp;lt;/math&amp;gt; to &amp;lt;math&amp;gt;\, (\hat{A}, \hat{B}, \hat{C}, \hat{D})&amp;lt;/math&amp;gt; as follows:&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt;\, {\hat{A}} = {T^{-1}}AT&amp;lt;/math&amp;gt;&lt;br /&gt;
: &amp;lt;math&amp;gt;\, {\hat{B}} = {T^{-1}}B&amp;lt;/math&amp;gt;&lt;br /&gt;
: &amp;lt;math&amp;gt;\, {\hat{C}} = CT&amp;lt;/math&amp;gt;&lt;br /&gt;
: &amp;lt;math&amp;gt;\, {\hat{D}} = D&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;\, T&amp;lt;/math&amp;gt; is an &amp;lt;math&amp;gt;\, n \times n&amp;lt;/math&amp;gt; invertible matrix defined as&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt;\,  T = \begin{bmatrix} T_{r\overline{o}} &amp;amp; T_{ro} &amp;amp; T_{\overline{ro}} &amp;amp; T_{\overline{r}o}\end{bmatrix}&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
where&lt;br /&gt;
* &amp;lt;math&amp;gt;\, T_{r\overline{o}}&amp;lt;/math&amp;gt; is a matrix whose columns span the subspace of states which are both reachable and unobservable.&lt;br /&gt;
* &amp;lt;math&amp;gt;\, T_{ro}&amp;lt;/math&amp;gt; is chosen so that the columns of &amp;lt;math&amp;gt;\, \begin{bmatrix} T_{r\overline{o}} &amp;amp; T_{ro}\end{bmatrix}&amp;lt;/math&amp;gt; are a basis for the reachable subspace.&lt;br /&gt;
* &amp;lt;math&amp;gt;\, T_{\overline{ro}}&amp;lt;/math&amp;gt; is chosen so that the columns of &amp;lt;math&amp;gt;\, \begin{bmatrix} T_{r\overline{o}} &amp;amp; T_{\overline{ro}}\end{bmatrix}&amp;lt;/math&amp;gt; are a basis for the unobservable subspace.&lt;br /&gt;
* &amp;lt;math&amp;gt;\, T_{\overline{r}o}&amp;lt;/math&amp;gt; is chosen so that &amp;lt;math&amp;gt;\,\begin{bmatrix} T_{r\overline{o}} &amp;amp; T_{ro} &amp;amp; T_{\overline{ro}} &amp;amp; T_{\overline{r}o}\end{bmatrix}&amp;lt;/math&amp;gt; is invertible.&lt;br /&gt;
By construction, the matrix &amp;lt;math&amp;gt;\, T&amp;lt;/math&amp;gt; is invertible. It can be observed that some of these matrices may have dimension zero. For example, if the system is both observable and controllable, then &amp;lt;math&amp;gt;\, T = T_{ro}&amp;lt;/math&amp;gt;, making the other matrices zero dimension.&lt;br /&gt;
&lt;br /&gt;
==Standard Form==&lt;br /&gt;
By using results from controllability and observability, it can be shown that the transformed system &amp;lt;math&amp;gt;\, (\hat{A}, \hat{B}, \hat{C}, \hat{D})&amp;lt;/math&amp;gt; has matrices in the following form:&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt;\, \hat{A} = \begin{bmatrix}A_{r\overline{o}} &amp;amp; A_{12} &amp;amp; A_{13} &amp;amp; A_{14} \\&lt;br /&gt;
0 &amp;amp; A_{ro} &amp;amp; 0 &amp;amp; A_{24} \\&lt;br /&gt;
0 &amp;amp; 0 &amp;amp; A_{\overline{ro}} &amp;amp; A_{34}\\&lt;br /&gt;
0 &amp;amp; 0 &amp;amp; 0 &amp;amp; A_{\overline{r}o}\end{bmatrix}&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt;\, \hat{B} = \begin{bmatrix}B_{r\overline{o}} \\ B_{ro} \\ 0 \\ 0\end{bmatrix}&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt;\, \hat{C} = \begin{bmatrix}0 &amp;amp; C_{ro} &amp;amp; 0 &amp;amp; C_{\overline{r}o}\end{bmatrix}&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt;\, \hat{D} = D&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
This leads to the conclusion that&lt;br /&gt;
* The subsystem &amp;lt;math&amp;gt;\, (A_{ro}, B_{ro}, C_{ro}, D)&amp;lt;/math&amp;gt; is both reachable and observable.&lt;br /&gt;
* The subsystem &amp;lt;math&amp;gt;\, \left(\begin{bmatrix}A_{r\overline{o}} &amp;amp; A_{12}\\ 0 &amp;amp; A_{ro}\end{bmatrix},\begin{bmatrix}B_{r\overline{o}} \\ B_{ro}\end{bmatrix},\begin{bmatrix}0 &amp;amp; C_{ro}\end{bmatrix}, D\right)&amp;lt;/math&amp;gt; is reachable.&lt;br /&gt;
* The subsystem &amp;lt;math&amp;gt;\, \left(\begin{bmatrix}A_{ro} &amp;amp; A_{24}\\ 0 &amp;amp; A_{\overline{r}o}\end{bmatrix},\begin{bmatrix}B_{ro} \\ 0 \end{bmatrix},\begin{bmatrix}C_{ro} &amp;amp; C_{\overline{r}o}\end{bmatrix}, D\right)&amp;lt;/math&amp;gt; is observable.&lt;br /&gt;
&lt;br /&gt;
==See also==&lt;br /&gt;
* [[Observability]]&lt;br /&gt;
* [[Controllability]]&lt;br /&gt;
&lt;br /&gt;
==External links==&lt;br /&gt;
*[http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-241j-dynamic-systems-and-control-spring-2011/readings/MIT6_241JS11_chap25.pdf Lectures on Dynamic Systems and Control, Lecture 25] - Mohammed Dahleh, Munther Dahleh, George Verghese &amp;amp;mdash; MIT OpenCourseWare&lt;br /&gt;
&lt;br /&gt;
[[Category:Control theory]]&lt;/div&gt;</summary>
		<author><name>174.52.255.118</name></author>
	</entry>
	<entry>
		<id>https://en.formulasearchengine.com/w/index.php?title=DES-X&amp;diff=5852</id>
		<title>DES-X</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/w/index.php?title=DES-X&amp;diff=5852"/>
		<updated>2013-11-23T12:52:36Z</updated>

		<summary type="html">&lt;p&gt;174.52.255.118: Explicit reference to distinguish DES-X as being a symmetric-key cipher&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{Refimprove|date=August 2009}}&lt;br /&gt;
:&#039;&#039;This page gives a general overview of the concept of non-measurable sets. For a precise definition of measure, see [[Measure (mathematics)]]. For various constructions of non-measurable sets, see [[Vitali set]], [[Hausdorff paradox]], and [[Banach–Tarski paradox]]&#039;&#039;.&lt;br /&gt;
&lt;br /&gt;
In [[mathematics]], a &#039;&#039;&#039;non-measurable set&#039;&#039;&#039; is a [[Set (mathematics)|set]] which cannot be assigned a meaningful &amp;quot;size&amp;quot;.  The [[mathematical existence]] of such sets is construed to shed light on the notions of [[length]], [[area]] and [[volume]] in formal set theory.&lt;br /&gt;
&lt;br /&gt;
The notion of a non-measurable set has been a source of great controversy since its introduction. Historically, this led [[Émile Borel|Borel]] and [[Kolmogorov]] to formulate probability theory on sets which are constrained to be measurable. The measurable sets on the line are iterated countable unions and intersections of intervals (called [[Borel set]]s) plus-minus [[null set]]s. These sets are rich enough to include every conceivable definition of a set that arises in standard mathematics, but they require a lot of formalism to prove that sets are measurable.&lt;br /&gt;
&lt;br /&gt;
In 1970, [[Robert M. Solovay|Solovay]] constructed [[Solovay&#039;s model]], which shows that it is consistent with standard set theory, excluding uncountable choice,  that all subsets of the reals are measurable.&lt;br /&gt;
&lt;br /&gt;
== Historical constructions ==&lt;br /&gt;
&lt;br /&gt;
The first indication that there might be a problem in defining length for an arbitrary set came from [[Vitali set|Vitali&#039;s theorem]].{{Citation needed|date=June 2008}}&lt;br /&gt;
&lt;br /&gt;
When you form the union of two disjoint sets, one would expect the measure of the result to be the sum of the measure of the two sets. A measure with this natural property is called &#039;&#039;finitely additive&#039;&#039;. While a finitely additive measure is sufficient for most intuition of area, and is analogous to [[Riemann integration]], it is considered insufficient for [[probability]], because conventional modern treatments of sequences of events or random variables demand [[countable additivity]].&lt;br /&gt;
&lt;br /&gt;
In this respect, the plane is similar to the line;  there is a finitely additive measure, extending Lebesgue measure, which is invariant under all [[isometries]]. When you increase in [[dimension]] the picture gets worse. The [[Hausdorff paradox]] and [[Banach–Tarski paradox]] show that you can take a three dimensional [[ball (mathematics)|ball]] of radius 1, dissect it into 5 parts, move and rotate the parts and get two balls of radius 1. Obviously this construction has no meaning in the physical world. In 1989, [[A. K. Dewdney]] published a letter from his friend Arlo Lipof in the Computer Recreations column of the &#039;&#039;[[Scientific American]]&#039;&#039; where he describes an underground operation &amp;quot;in a South American country&amp;quot; of doubling gold balls using the [[Banach–Tarski paradox]].&amp;lt;ref&amp;gt;Dewdney (1989)&amp;lt;/ref&amp;gt; Naturally, this was in the April issue, and &amp;quot;Arlo Lipof&amp;quot; is an [[anagram]] of &amp;quot;[[April Fools&#039; Day|April Fool]]&amp;quot;.&lt;br /&gt;
==Example==&lt;br /&gt;
&lt;br /&gt;
Consider the unit circle &#039;&#039;S&#039;&#039;, and the [[Group_action|action]] on &#039;&#039;S&#039;&#039; by a group &#039;&#039;G&#039;&#039; consisting of all rational rotations. Namely, these are rotations by angles which are rational multiples of π. Here &#039;&#039;G&#039;&#039; is countable (more specifically, &#039;&#039;G&#039;&#039; is isomorphic to &amp;lt;math&amp;gt;\mathbb{Q}/\mathbb{Z}&amp;lt;/math&amp;gt;) while &#039;&#039;S&#039;&#039; is uncountable. Hence &#039;&#039;S&#039;&#039; breaks up into uncountably many orbits under &#039;&#039;G&#039;&#039;. Using the [[axiom of choice]], we could pick a single point from each orbit, obtaining an uncountable subset &amp;lt;math&amp;gt;X \subset S&amp;lt;/math&amp;gt; with the property that all of its translates by &#039;&#039;G&#039;&#039; are disjoint from &#039;&#039;X&#039;&#039; and from each other. The set of those translates partitions the circle into a countable collection of disjoint sets, which are all pairwise congruent (by rational rotations). The set &#039;&#039;X&#039;&#039; will be non-measurable for any rotation-invariant countably additive probability measure on &#039;&#039;S&#039;&#039;: if &#039;&#039;X&#039;&#039; has zero measure, countable additivity would imply that the whole circle has zero measure.  If &#039;&#039;X&#039;&#039; has positive measure, countable additivity would show that the circle has infinite measure.&lt;br /&gt;
&lt;br /&gt;
== Consistent definitions of measure and probability ==&lt;br /&gt;
&lt;br /&gt;
The [[Banach–Tarski paradox]] shows that there is no way to define volume in three dimensions unless one of the following four concessions is made:&lt;br /&gt;
# The volume of a set might change when it is rotated&lt;br /&gt;
# The volume of the union of two disjoint sets might be different from the sum of their volumes&lt;br /&gt;
# Some sets might be tagged &amp;quot;non-measurable&amp;quot; and one would need to check if a set is &amp;quot;measurable&amp;quot; before talking about its volume&lt;br /&gt;
# The axioms of ZFC ([[Zermelo–Fraenkel set theory]] with the axiom of Choice) might have to be altered&lt;br /&gt;
&lt;br /&gt;
Standard measure theory takes the third option. One defines a family of measurable sets which is very rich, and almost any set explicitly defined in most branches of mathematics will be among this family. It is usually very easy to prove that a given specific subset of the geometric plane is measurable.  The fundamental assumption is that a countably infinite sequence of disjoint sets satisfies the sum formula, a property  called [[sigma additivity|σ-additivity]].&lt;br /&gt;
&lt;br /&gt;
In 1970, [[Robert M. Solovay|Solovay]] demonstrated that the existence of a non-measurable set for the [[Lebesgue measure]] is not provable within the framework of Zermelo–Fraenkel set theory in the absence of the Axiom of Choice, by showing that (assuming the consistency of an [[inaccessible cardinal]]) there is a model of ZF, called [[Solovay&#039;s model]],  in which [[countable choice]] holds, every set is Lebesgue measurable and in which the full axiom of choice fails.&lt;br /&gt;
&lt;br /&gt;
The Axiom of Choice is equivalent to a fundamental result of [[point-set topology]], [[Tychonoff&#039;s theorem]], and also to the conjunction of two fundamental results of functional analysis, the [[Banach–Alaoglu theorem]] and the [[Krein–Milman theorem]].   It also  affects the study of infinite groups to a large extent, as well as ring and order theory (see [[Boolean prime ideal theorem]]). However the axioms of [[determinacy]] and [[dependent choice]], together, are sufficient for most [[geometric measure theory]], [[potential theory]], [[Fourier series]] and [[Fourier transforms]], while making all subsets of the real line Lebesgue measurable.&lt;br /&gt;
&lt;br /&gt;
== See also ==&lt;br /&gt;
* [[Non-Borel set]]&lt;br /&gt;
&lt;br /&gt;
==References==&lt;br /&gt;
===Notes===&lt;br /&gt;
{{reflist}}&lt;br /&gt;
===Bibliography===&lt;br /&gt;
{{refbegin}}&lt;br /&gt;
*{{cite journal|last=Dewdney|first=A. K.|date=1989|title=A matter fabricator provides matter for thought|journal=Scientific American|issue=April|pages=116&amp;amp;ndash;119}}&lt;br /&gt;
{{refend}}&lt;br /&gt;
&lt;br /&gt;
{{DEFAULTSORT:Non-Measurable Set}}&lt;br /&gt;
[[Category:Measure theory]]&lt;/div&gt;</summary>
		<author><name>174.52.255.118</name></author>
	</entry>
</feed>