Wikisłownik:Strony do usunięcia/ℝ∖ℚ

ℝ∖ℚ

Data rozpoczęcia: 12:45, 12 lis 2023 (CET)

Data zakończenia: 12:45, 19 lis 2023

Głosowanie zakończone

ℝ∖ℚ to po prostu działanie na zbiorach, jak zresztą wyjaśnia definicja, tak samo, jak 2+2 to działanie na liczbach. Poprawnym zapisem takiej różnicy byłoby również ℝ−ℚ. Analogicznie zapis ℝ∖ℤ oznaczałby zbiór liczb niecałkowitych, a ℝ∖{0} — zbiór liczb rzeczywistych różnych od 0. Nie jest to moim zdaniem zapis pasujący do słownika, nawet takiego, w którym zawarte są również symbole.

Wzmianka dla autora hasła: @Karol Szapsza.

Zgłasza: Hythonia (dyskusja) 12:45, 12 lis 2023 (CET).

Za usunięciem

1. Hythonia (dyskusja) 12:45, 12 lis 2023 (CET)
2. Peter Bowman (dyskusja) 13:05, 12 lis 2023 (CET)
3. Olaf (dyskusja) 14:36, 12 lis 2023 (CET)
4. Maitake (dyskusja) 23:51, 12 lis 2023 (CET)

Przeciw usunięciu

1. Osobiście dla tego hasła zrobiłbym wyjątek. Sam zbiór liczb niewymiernych nie bardzo da się zapisać inaczej w taki sposób, aby był zrozumiały dla każdego matematyka bez względu na pochodzenie. $\mathbb {NW}$ jest zrozumiały tylko w niektórych krajach, a inne zapisy takie jak $\mathbb {I}$ lub $\mathbb {P}$ trzeba uprzednio zdefiniować, bo nie zawsze one oznaczają zbiór liczb niewymiernych, i nie są tak powszechne jak właśnie zapis $\mathbb {R} \setminus \mathbb {Q}$. Pattypan Squash (dyskusja) 13:43, 12 lis 2023 (CET)
2. Zgodzę się z poprzednikiem. Comp1089 (dyskusja) 02:27, 15 lis 2023 (CET) 
3. Abraham (dyskusja) 16:31, 15 lis 2023 (CET)

Dyskusja

@Pattypan Squash: Odnośnie komentarza, IME ten zapis nie jest stosowany porównywalnie do $\mathbb {R}$ czy $\mathbb {Z}$, samych liczb niewymiernych nie rozważa się moim zdaniem wystarczająco często, żeby uzasadniało to ujęcie w słowniku (czego dowodem chyba powinien być brak jednoznacznego symbolu na te liczby). Tak samo z $\mathbb {R} \setminus \mathbb {Z}$ i innymi podzbiorami wymiernych. Hythonia (dyskusja) 18:07, 15 lis 2023 (CET)

Tak, liczby niewymierne (w odróżnieniu od liczb całkowitych, wymiernych czy rzeczywistych) nie tworzą żadnej sensownej struktury algebraicznej, jak pierścień czy ciało, więc prawdę mówiąc użyteczność tego wyrażenia jest ograniczona. I to jest zwykłe działanie na zbiorach, taka kolokacja. Olaf (dyskusja) 18:15, 15 lis 2023 (CET)

@Hythonia, @Olaf Rozumiem wasze argumenty za usunięciem, jednak problemem jest to, że mamy też hasło ℕ𝕎, jeszcze bardziej niestandardowe oznaczenie, bo używane tylko w polskich szkołach (i być może jeszcze w innych krajach słowiańskich, ale w systemie edukacji w innych krajach się nie orientuję, więc nie wiem). Usuwając to hasło, stworzylibyśmy lukę, gdzie każdy szkolny zapis zbioru miałaby swój "naukowy" odpowiednik oprócz właśnie ℕ𝕎. Jeśli ℝ∖ℚ ma zostać usunięte, warto dodatkowo uwzględnić dwie opcje:

1. dodać adnotację w haśle ℕ𝕎 (i zmienić użycie międzynarodowe na język polski), że nie ma jednoznacznego zapisu dla zbioru liczb niewymiernych;
2. usunąć dodatkowo hasła ℕ𝕎 oraz 𝕎, a wszelkie wzmianki o zapisie szkolnym wspomnieć w naukowych odpowiednikach (np. o zapisie 𝕎 w haśle ℚ).

Pattypan Squash (dyskusja) 19:46, 15 lis 2023 (CET)

Ja jestem raczej za pierwszą opcją. Skoro te symbole są używane, nawet jeśli tylko regionalnie, to nie ma sensu ich usuwać, bo nie są "kolokacjami" (o ile mianem kolokacji można określić działanie algebraiczne). Wystarczy adnotacja o nieoficjalnym statusie oznaczenia. Hythonia (dyskusja) 23:35, 15 lis 2023 (CET)

Mniej niż 2/3 głosów za usunięciem. Zostawiono. Hythonia (dyskusja) 16:42, 19 lis 2023 (CET)