Without Loss of Generality
نویسنده
چکیده
One sometimes reads in a mathematical proof that a certain assumption can be made ‘without loss of generality’ (WLOG). In other words, it is claimed that considering what first appears only a special case does nevertheless suffice to prove the general result. Typically the intuitive justification for this is that one can exploit symmetry in the problem. We examine how to formalize such ‘WLOG’ arguments in a mechanical theorem prover. Geometric reasoning is particularly rich in examples and we pay special attention to this area.
منابع مشابه
On elliptic curves in characteristic 2 with wild additive reduction
Introduction. In [Ge1] Gekeler classified all elliptic curves over F2r (T ) with one rational place of multiplicative reduction (without loss of generality located at ∞), one further rational place of bad reduction (without loss of generality located at 0) and good reduction elsewhere. So these curves have conductor ∞ · T where n is a natural number (which actually can be arbitrarily large). In...
متن کاملA stronger version of Bárány's theorem in the plane
First, we may assume, without loss of generality, that the points of the sets > > are located on the unit circle, by projecting these points on the circumference of the circle. Second, by Carathéodory Theorem (see [3]), we may assume, without loss of generality, that the cardinality of each set + is at most ? , for 45X2= >8 @? . In fact, we can further assume that * + * 5? , for 45X2' 98( ...
متن کاملGo , L Dberg's Zero-one Constants
Our interest is in the scenario when ( 0), ( 1) are nonzero and distinct; without loss of generality, we assume that ( 0) ( 1). Let (0 1) ⊆ consist of all functions with ( 0) = 0 and ( 1) = 1. Let (01) ⊆ consist of all functions with exactly one 0-point [of multiplicity0] and exactly one 1-point [of multiplicity 1]. Again, we focus on 0 6= 0...
متن کاملEvaluating Technical Requirements to Achieve Maximum Power Point in Photovoltaic Powered Z-Source Inverter
One of the key challenges of employing photovoltaic systems is to extract maximum power of the panels. This problem is known as maximum power point tracking (MPPT) technique. The MPPT stands for establishing situation in which output power of the panels reaches its maximum allowable power. In this context, this paper is to assess the technical requirements to achieve maximum output power of a n...
متن کاملThe Angel of Power 2 Wins
We solve Conway’s Angel Problem by showing that the Angel of power 2 has a winning strategy. An old observation of Conway is that we may suppose without loss of generality that the Angel never jumps to a square where he could have already landed at a previous time. We turn this observation around and prove that we may suppose without loss of generality that the Devil never eats a square where t...
متن کامل