ハイネ・ボレルの被覆定理




ハイネ・ボレルの被覆定理（ハイネ・ボレルのひふくていり）とは、数学の定理で、次のような定理である。



ユークリッド空間 Rn の部分集合 S について、次の二つは同値


  1. S は、有界閉集合


  2. S は、コンパクト



また、次のように一般化される。



距離空間において、部分集合がコンパクトであることと、完備全有界であることは同値。


関連項目



  • エドゥアルト・ハイネ

  • エミール・ボレル




Popular posts from this blog

How to fix TextFormField cause rebuild widget in Flutter

Image
.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty{ height:90px;width:728px;box-sizing:border-box; } 0 I've got the same issue at #9280. I tried all solutions from that topic with/without GlobalKey for Scaffold and Form but the problem wasn't fixed. I tried to build a authentication form with login and signup. But the keyboard doesn't show when I tap the TextFormField at the first time. Then I try to input some letter from physical keyboard, the widget is rebuilt. Like this: login screen Nothing to be log when I run flutter run --verbose, so I logged manually. Every tapping on field, the widget called dispose -> init -> build. [√] Flutter (Channel beta, v1.0.0, on Microsoft Windows [Version 10.0.17763.195], ...
Read more

JavaFX. Displaying an image from byte[]

Image
0 This is now solved! The solution is in the code below My initial question below I need to display an Image from pixels received as an array of bytes-one byte per pixel- into a ImageView . The image was originally in png format. private WritableImage convertByteArrayToImage(byte pixels, int width,int height) { int imageType= Integer.valueOf(expTime.getText()); int ints = new int[pixels.length]; for (int i = 0; i < pixels.length; i++) { ints[i] = (int) pixels[i] & 0xff; } BufferedImage bImg = new BufferedImage(width, height, BufferedImage.TYPE_BYTE_GRAY); WritableRaster raster = (WritableRaster) bImg.getData(); raster.setPixels(0, 0, width, height, ints); bImg.setData(raster); return SwingFXUtils.toFXImage(bImg, null); }...
Read more

Error binding properties and functions in emscripten

Image
0 I'm trying to use emscripten to compile a c++ class and expose bindings. I'm running into an error from the compiler. #include <emscripten/bind.h> #include <emscripten/emscripten.h> using namespace emscripten; class MyClass { private: int _year; int _month; int _day; public: MyClass() { } MyClass(int year, int month, int day); int getMonth(); void setMonth(int); int getYear(); void setYear(int); int getDay(); void setDay(int); bool isLeapYear(); int daysInMonth(); void increment(); void decrement(); }; EMSCRIPTEN_BINDINGS(my_sample_class) { class_<MyClass>("MyClass") .constructor<>() .constructor<int, int, int>() .function("getMonth", &MyClass::g...
Read more