Does Regular implies $T_{3.5}$?

Does Regular implies $T_{3.5}$?

Prove or disprove: If a topological space is Hausdorff and locally compact then it is T_3.5. I mnaged to prove that T is regular. But how will I prove it is T_3.5

Комментарии

Отправить комментарий

Популярные сообщения из этого блога

Skipping acquire of configured file 'contrib/binary-i386/Packages' as repository … doesn't support architecture 'i386'

Skipping acquire of configured file 'contrib/binary-i386/Packages' as repository … doesn't support architecture 'i386' I installed Ubuntu 18.04 and then while installing Virtualbox i get the i386 error message after I did: sudo apt-get update Get:1 http:nl.archive.ubuntu.comubuntu bionic InRelease 242 kB Hit:2 http:security.ubuntu.comubuntu bionic-security InRelease Hit:3 http:ppa.launchpad.netdanielrichter2007grub-customizerubuntu bionic InRelease Hit:4 http:nl.archive.ubuntu.comubuntu bionic-updates InRelease Hit:5 http:nl.archive.ubuntu.comubuntu bionic-backports InRelease Get:6 http:download.virtualbox.orgvirtualboxdebian bionic InRelease 4429 B Get:7 http:download.virtualbox.orgvirtualboxdebian bioniccontrib amd64 Packages 1426 B Fetched 248 kB in 1s 209 kBs Reading package lists... Done N: Skipping acquire of configured file contribbinary-i386Packages as repository http:download.virtualbox.orgvirtualboxdebian bionic InRelease doesnt support architecture i386 ...
Далее...

Как преобразовать вертикальную запись в горизонтальную?

Имеется файл iplir.conf (конфиг VipNet) например такой : > #commentary [id] id= 0x1a0e000d name= координатор2 filterdefault= pass ip= 192.0.2.9 ip= 192.0.2.10 tunnel= 192.0.2.201-192.0.2.202 to 192.0.2.201-192.0.2.202 firewallip= 192.0.2.11 port= 55777 proxyid= 0x00000000 usefirewall= off fixfirewall= off virtualip= 203.0.113.1 version= 3.0-670 #commentary [id] id= 0xffffffff name= Encrypted broadcasts filterdefault= drop filterudp= 137, 137, pass, any filterudp= 138, 138, pass, any filterudp= 68, 67, pass, any filterudp= 67, 68, pass, any filterudp= 2046, 0-65535, pass, recv filterudp= 2046, 2046, pass, send filterudp= 2048, 0-65535, pass, recv filterudp= 2050, 0-65535, pass, recv filterudp= 2050, 2050, pass, send [id] id= 0xfffffffe name= Main Filter filterdefault= pass [id] id= 0x1a0e000b name= administrator filterdefault= pass ip= 192.0.2.55 accessip= 203.0.113.2 firewallip= 192.0.2.6 port= 55777 proxyid= 0xfffffffe dynamic_timeout=...
Далее...

Connection string for MariaDB using ODBC

Connection string for MariaDB using ODBC What is the connection string for using MariaDB with ODBC Im guessing its something like DRIVERMariaDB ODBC 5.1 Driver; SERVERLOCALHOST; PORT3306; DATABASEDatabaseName; UIDroot; PASSWORDpassword;OPTION3; Connection strings seems to show strings for MySQL but not MariaDB. MariaDB seems to have a lot of connection strings for Access, SQL Lite, excel, etc ... What have I missed Although this is late answer, but MariaDB have that documented here SQLWCHAR ConnStr LDriverMariaDB ODBC 2.0 Driver;Serverlocalhost;UIDodbc_user;PWDodbc_pw;DBodbc_test;Port3306;
Далее...