Unfamiliar notation for min

notation

I'm reading a paper and came across some notation for a minimum that I have not seen.

Given
$k \in \{ 1 .. n \}$ and a function that defines $j_k$ earlier in the text,

I see this notation:
$$
\min_k (j_k)
$$

What would the subscript on min indicate?

Best Answer

$\min_k$ means "among all possible / suitable $k$, the minimum value of ..."

Whatever comes after $\min_k$ is put into the "..." in the above sentence.

So, $\min_k j_k$ means "among all $k$, the minimum value of $j_k$"

In general, there are many notations using this paradigm of $$\operatorname{Operation}_{\text{index}}\text{expression}$$(where $\text{expression}$ uses $\text{index}$ in some way) to mean "take all the different values of $\text{expression}$ for all suitable $\text{index}$, and use $\operatorname{Operation}$ on them. Examples include

  • $\bigcup_k I_k$ meaning "take all the different sets $I_k$, and use $\cup$ on them (take their union)
  • $\sum_kf(k)$ meaning "take all the different values $f(k)$, and use $\sum$ on them" (for some reason we use $\sum$, instead of a big $+$).

and so on, for different operations like $\max, \bigcap, \prod, \bigoplus$ and $\bigwedge$. One might even argue that $\lim$ works like this, but that would probably be somewhat of a stretch.

Related Question