いいね
函数 f が X にコンパクトな台を持つとは、f の台 supp(f) が X のコンパクト部分集合となることを言う。 https://ja.wikipedia.org/wiki/%E9%96%A2%E6%95%B0%E3%81%AE%E5%8F%B0#%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E5%8F%B0%E4%BB%98%E3%81%8D%E3%81%AE%E5%87%BD%E6%95%B0
具体例は分からんけど、実質的に定義域がコンパクトだと思えると連続写像で写した後もコンパクトになるから嬉しいみたいな気持ちなのかな
1対1写像という言葉はたぶん存在しなくて、1対1対応(全単射)か1対1の写像(単射)なら存在するけど、宇宙一紛らわしい単語なのでおとなしく全単射とか単射とか言いましょう(というのをつい数ヶ月前に知った)
Whole Foodsが開いてるうちに買い出しに行く。Whole Foodsは9時で閉まる #おさけーめも
これは……焼き肉のタレかけて焼いたら完全に焼き肉ですね。切り方なのか肉質なのか分からんけど、塩レモンだと肉の味があんまり引き立ってない
中学生くらいのときはかっこいいのでQ.E.D.って書いてたけど、幾度かの調整を経て今は■で済ますようになった
証明終わりの記号、名前あるしなんなら専用のUnicode codepointも割り当てられてるのか…… https://ja.wikipedia.org/wiki/%E5%A2%93%E7%9F%B3%E8%A8%98%E5%8F%B7