ちょっとググって見つけたDCI（ハリウッドの映画業界）の仕様だがデコーダの仕様では4kも2kも定義されてるな

http://dcimovies.com/specification/DCI_DCSS_v12_with_errata_2012-1010.pdf
4.3.
Decoder Specification
4.3.1.
Definitions
・A 2K distribution - the resolution of the DCDM container is 2048x1080.
・A 4K distribution - the resolution of the DCDM container is 4096x2160.

UHD 4kの方をググるとNHK主導の規格みたいだがNHKのどこ探していいか分からん
スレ的にはモニタ業界側の定義のソースが必要なんだろうし
モニタ側はUHD4kの他に3840x1600のUW4kとかもあるから
4kの定義自体がたぶん映像業界とは違うんだろうけどもう面倒くさいから調べない