4
$\begingroup$

I've seen J referenced recently in some discussion about algebraic combinatorics, and it took me a while to figure out it was the matrix of all ones. It came up without definition, and I spent too long trying to google "what is a J matrix".

I found this, but I can find no reference to the convention of using J to represent the matrix. Maybe it's arbitrary?

https://en.wikipedia.org/wiki/Matrix_of_ones

$\endgroup$
10
  • 18
    $\begingroup$ One guess is that the identity matrix already has a well-established claim on the more natural-seeming "I", so "J" is the next alternative. $\endgroup$ Commented Jan 24, 2019 at 3:11
  • 1
    $\begingroup$ I see $E$ in some 1950s sources. $\endgroup$ Commented Jan 24, 2019 at 8:24
  • 7
    $\begingroup$ At least it is not an 'O' for "all Ones". $\endgroup$ Commented Jan 24, 2019 at 11:03
  • 2
    $\begingroup$ Perhaps it's from Jednostka, the Polish word for unit. $\endgroup$ Commented Jan 24, 2019 at 11:38
  • 3
    $\begingroup$ See the related question (which has a bunch of answers, then ended up being closed) mathoverflow.net/questions/9898/… $\endgroup$ Commented Jan 24, 2019 at 12:48

1 Answer 1

0
$\begingroup$

You have a matrix only filled with 1s, so it would be neat to have a notation resembling this. You could use

  • $1$, $\mathbf 1$ or $\mathbb 1$ but these are usually a danger for confusion with the scalar and the latter one is often used to represent the all-1s-vector already.
  • a letter similar to 1, e.g. $I$, $\mathbf I$ or $\mathbb I$, but these are usually used for the identity matrix already.

So you go with the next best letter that resembles a "1" $-$ namely $J$. However, I also have seen $E$. I would say that if you have some experience in the topic, you can spot this from the context. But a well-written text would introduce this notation nevertheless.

$\endgroup$
2
  • 1
    $\begingroup$ Unfortunately $E$ is also commonly used for a matrix with only one non-zero entry (often subscripted, like $E_{i j}$). $\endgroup$
    – LSpice
    Commented Jan 24, 2019 at 14:57
  • 1
    $\begingroup$ If we are going to be unfortunate, then J is also used in almost-complex geometry/analysis to stand for a completely different matrix that squares to -1 (called the "symplectic matrix" or something like that). $\endgroup$
    – Linas
    Commented Jan 24, 2019 at 18:14

Not the answer you're looking for? Browse other questions tagged .