View source for Median (sample)

{{ProbMacros}}{{Stub page|grade=B|msg=Requires unifying with the taxonomy of units and such}}
: Not to be confused with [[median (random variable)|the median of a random variable]]
__TOC__
==Caveat:==
{{Begin Notebox}}
Median of an even number of samples
{{Begin Notebox Content}}
For a {{link|sample|statistics}} of an [[even number]] number of values, say {{M|x_1,\ldots,x_{2m} }} for some {{M|m\in\mathbb{N}_{\ge 1} }}, and let us write {{M|x'_1,\ldots,x'_{2m} }} for the sorted sample values, so {{M|x'_1\le x'_2\le\cdots\le x'_{2m-1}\le x'_{2m} }}, then it is convention to define the median as:
* {{MM|\text{Median}(x_1,\ldots,x_{2m}):\eq\frac{x'_m+x'_{m+1} }{2} }} - the {{link|average|sample}} of the two middle points.

However, as per [[Alec's taxonomy of units]], we can "do Median" on just "ordered" unit types, Here there is no ''natural'' or ''canonical'' concept of "average between them" unless you map them onto some subset of the natural numbers. There are some options in this case, see [[Notes:Median of an ordered unit type sample]].

The current options being considered are:
# Consider two items as the median, this means that the median is exactly 1 or 2 items, or zero should median of no samples be considered
# Introduce some new element, say {{M|a}}, which is by definition: {{M|x'_m < a < x'_{m+1} }}
{{End Notebox Content}}{{End Notebox}}
==Definition==
There is complete consensus on the median of an [[odd number]] of sample values. However for an [[even number]] of samples things are a little less clear. As per the caveat. 

In what follows we shall define:
* {{M|x_1,\ldots,x_n}} as the sample, for which we may have {{M|n:\eq 2m+1}} or {{M|n:\eq 2n}} depending on the case, and
* {{M|x'_1,\ldots,x'_n}} meaning "the ordered sample", a [[permutation]] on the {{M|x_i}} where the values have been [[sort|sorted]], so:
** {{M|x'_1\le x'_2\le\cdots\le x'_{n-1}\le x'_n}}
===Odd sample===
Let {{M|x_1,\ldots,x_{2m+1} }} be given, for some {{M|m\in\mathbb{N}_{\ge 0} }}, then we define:
* {{M|\text{Median}(x_1,\ldots,x_{2m+1}):\eq x'_{m+1} }}


'''Example''':
* Say {{M|m=2}} giving the sample {{M|x_1,\ x_2,\ x_3,\ x_4,\ x_5}} then the median is {{M|x'_3}}
* {{M|\text{Median}(2,3,2,4,5)\eq\text{Median}(2,2,3,4,5)\eq 3}}
===Even sample===
: {{Warning|This is a "conventional definition" that requires {{M|\frac{1}{2}(a+b)}} to be defined for sample values {{M|a,b}}. There is work to be done as per the caveat above}}
Let {{M|x_1,\ldots,x_{2m} }} be given, for some {{M|m\in\mathbb{N}_{\ge 1} }}, then we ''conventionally'' define:
* {{MM|\text{Median}(x_1,\ldots,x_{2m}):\eq \frac{x'_m+x'_{m+1} }{2} }}

This requires a concept of "division by 2" and adding. This may not always be the case! See the caveat for more details.
==See also==
* [[Order statistic]] - of which the median is a special case
* {{link|Average|sample}}
* {{link|Mode|sample}}
* [[Alec's taxonomy of units]] - of which median can be used on "ordered" units and above.
==Notes==
<references group="Note"/>
{{Definition|Elementary Probability|Probability|Statistics}}