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

Комментарии

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

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

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

Имеется файл 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=...
Далее...

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 ...
Далее...

How to delete a folder in remote Windows from Linux

I am running automation tests on both local (Linux) and remote Selenium node (Windows). And I want to delete a folder created during test, using Java Runtime.getRuntime().exec. It works fine on local (Linux), but I have a hard time to figure out how to do it on Windows node. The following is my attempts: try {     if (rBundle.getString("RUN_ON").equalsIgnoreCase("local")) // delete folder temp on local (Linux) - it works         Runtime.getRuntime().exec("rm -rf " + System.getProperty("user.home") + "/Temp");     else // delete folder C:/Temp on remote Windows         Runtime.getRuntime().exec("rm -rf IEUser@10.2.2.240/C/Temp");         // Runtime.getRuntime().exec("rm -rf //10.2.2.240/C/Temp"); } catch (IOException e) {     e.printStackTrace(); } I try to delete folder C:/Temp on the remote Windows, but I don't have any success. I don't get any Exceptions, it went though that block. Obv...
Далее...