https://www.czech.wiki/wiki/Normovaný_lineární_prostor