Search Results for ""

The eight of Hilbert's axioms which concern collinearity and intersection; they include the first four of Euclid's postulates.

Given a subset B of a set A, the injection f:B->A defined by f(b)=b for all b in B is called the inclusion map.

A disjunction that remains true if either or both of its arguments are true. This is equivalent to the OR connective. By contrast, the exclusive disjunction is true if only ...

Two lengths are called incommensurate or incommensurable if their ratio cannot be expressed as a ratio of whole numbers. Irrational numbers and transcendental numbers are ...

Two rectangles, neither of which will fit inside the other, are said to be incomparable. This is equivalent to one rectangle being both longer and narrower. At least seven ...

A formal theory is said to be incomplete if it contains fewer theorems than would be possible while still retaining consistency.

A p-form alpha is indecomposable if it cannot be written as the wedge product of one-forms alpha=beta_1 ^ ... ^ beta_p. A p-form that can be written as such a product is ...

A continuum that is not decomposable is an indecomposable continuum.

An n×n complex matrix A is called indefinite if nonzero vectors x and y exist such that x^*Ax>0>y^*Ay, where x^* denotes the conjugate transpose. A matrix m may be tested to ...

A quadratic form Q(x) is indefinite if it is less than 0 for some values and greater than 0 for others. The quadratic form, written in the form (x,Ax), is indefinite if ...