一般的には "l"0は局所有界ではなく、局所凸でもない。