“K” означает приставку кило-, т. е . тысячу. 4K — это 4000 пикселей по длинной стороне кадра.
На самом деле, не ровно 4000 — там есть много разновидностей формата, и 4K-кадр может иметь ширину и 3840 пикселей (удвоенный HD1080), и 4096, и другие — но все около 4000.