1681 | ölçevimsi | X kümesi verildiğinde, d(x,y) = O => x = y koşulunu gerçekleyen d : (
)sözde ölçevimsisi. |
1682 | ölçevlenebilir düzgünlük | Üzerinde oluşturduğu ölçev düzgünlüğü X teki düzgünlüğe eşit olacak biçimde üzerinde bir ölçev tanımlanabilen X üzerindeki düzgünlük. |
1683 | ölçevlenebilir uzay | İlingesi bir ölçevlenebilir ilingeye eşit olan ilingesel uzay. |
1684 | ölçevlentebilir ilinge | Üzerinde oluşturduğu ölçev ilingesi X teki ilingeye eşit olacak biçimde üzerinde bir ölçev tanımlanabilen X üzerindeki ilinge. |
1685 | Ölçevli doğrusal uzay | İlingesi her (
)eşitliğini gerçekleyen bir d ölçevinin ürettiği ilingeye eşit olan E ilingesel doğrusal uzayı. |
1686 | ölçevli uzay | Üzerinde bir ölçev tanımlanan küme. |
1687 | ölçevsel eksiksiz | İçindeki her Cauchy dizisi yakınsak olan. |
1688 | ölçke I | 1. z=a+ib karmaşık sayısı için, (
)artı sayısı, Anlamdaş. salt değer. 2. x>0 sayısının bir a tabamna göre tersüstelinden başka bir b tabanına göre tersüstelini elde etmekte yararlanılan (
)eşitliğindeki (
) a çarpanı. |
1689 | ölçke II | Ölçken sayıbilgisinde, (
) (ölç n) deyimindeki n>0 doğal sayısı. |
1690 | ölçtekdeş | Ortak bir ölçekle ölçülebilen. |
1691 | ölçü | Ölçmeyle belirlenen uzam, çokluk, genişlik. |
1692 | ölçüm | Bir kümenin altkümelerinden oluşan bir dolam üzerinde artı değerler alan sayılabilir toplamsal küme işlevi, Anlamdaş. sayılabilir toplamsal ölçüm. |
1693 | ölçüm kuramı | Ölçümleri konu edinen uzbilim kuramı. |
1694 | ölçümkal kuramı | Ölçüm koruyan dönüşümleri konu edinen uzbilim kuramı. |
1695 | ölçünlü biçim | Yalınçlık ve düzgünlük sağlamak ereğiyle, bir denklemin uzbilimcilerde onaylanan biçimi. |
1696 | ölçünlü sapma | Değişkinin artı kökikisi. |
1697 | ölçünsüz çözümleme | Sonsuz küçük ve sonsuz büyük sayılarla usbilimden yararlanarak işlence bilim dalını genişletmeyi amaçlayan çözümle dalı. |
1698 | ön Hilbert uzayı | Bir eksisiz Hermit ikidoğrusal biçimi ile donatılmış karmaşık doğrusal uzay. Anlamdaş. iççarpımlı uzay. |
1699 | öncül | Bir çıkarımın öncüller kümesini oluşturan önermelerden her biri. |
1700 | öncüller kümesi | Bir çıkarımda verileri belirten önermeler kümesi. |
1701 | önel ilinge | (
) işlevlerini sürekli kılan en kaba ilinge. Anlamdaş. izdüşümsel ilinge. |
1702 | önerme | 1. bk. sav. 2. Kaıntlanımı ile bir sav ya da çözümü ile birlikte bir sorun. 3. Ya doğru ya da yanlış olan bir sav öne süren bildirim, |
1703 | önermeler cebiri | Önermeler ve bunlar arasındaki işlemlerle uğraşan cebir dalı. |
1704 | önermeli işlev | Değer kümesi kimi önermelerden oluşan işlev. Anlamdaş. açık önerme. |
1705 | öngörüntü | (
)Anlamdaş. ters görüntü. |
1706 | önküme | Bir (
)bağıntısı için A kümesi. |
1707 | önsel bilgi | Önsel usavurma yöntemiyle varılan bilgi. |
1708 | önsel usavurma | Nedenden başlayarak sonuca giden usavurma yöntemi, Anlamdaş. tümdengelimli usavurma. |
1709 | önsıralama bağıntısı | Bir küme üzerinde dönüşlü ve geçişli olan ikili bağıntı. |
1710 | önsıralı küme | Bir önsıralama bağıntısıyla donatılmış küme. |