<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">ALAMT</journal-id><journal-title-group><journal-title>Advances in Linear Algebra &amp; Matrix Theory</journal-title></journal-title-group><issn pub-type="epub">2165-333X</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/alamt.2016.62007</article-id><article-id pub-id-type="publisher-id">ALAMT-67301</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Matrices and Division by Zero z/0 = 0
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Tsutomu</surname><given-names>Matsuura</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Saburou</surname><given-names>Saitoh</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref></contrib></contrib-group><aff id="aff2"><addr-line>Institute of Reproducing Kernels, Kiryu, Japan</addr-line></aff><aff id="aff1"><addr-line>Division of Mechanical Science and Technology, Gunma University, Kiryu, Japan</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>matsuura@gunma-u.ac.jp(TM)</email>;</corresp></author-notes><pub-date pub-type="epub"><day>26</day><month>05</month><year>2016</year></pub-date><volume>06</volume><issue>02</issue><fpage>51</fpage><lpage>58</lpage><history><date date-type="received"><day>3</day>	<month>May</month>	<year>2016</year></date><date date-type="rev-recd"><day>accepted</day>	<month>11</month>	<year>June</year>	</date><date date-type="accepted"><day>14</day>	<month>June</month>	<year>2016</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  In this paper, a new viewpoint of the division by zero 
  z/0 = 0 in matrices is introduced and the results will show that the division by zero is our elementary and fundamental mathematics. New and practical meanings for many mathematical and physical formulas for the denominator zero cases may be given. Furthermore, a new space idea for the point at infinity for the Eucleadian plane is also introduced.
 
</p></abstract><kwd-group><kwd>Division by Zero</kwd><kwd> z/0 = 0</kwd><kwd> Field</kwd><kwd> Y-Field</kwd><kwd> Point at Infinity</kwd><kwd> Infinity</kwd><kwd> Matrix</kwd><kwd> Cramer’s Law</kwd><kwd> Area</kwd><kwd> Volume</kwd><kwd> Parallel Lines</kwd><kwd> Degeneracy of Figures</kwd><kwd> Hooke’s Law</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>By a natural extension of the fractions</p><disp-formula id="scirp.67301-formula633"><label>(1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x6.png"  xlink:type="simple"/></disp-formula><p>for any complex numbers a and b, we found the simple and beautiful result, for any complex number b</p><disp-formula id="scirp.67301-formula634"><label>(2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x7.png"  xlink:type="simple"/></disp-formula><p>incidentally in [<xref ref-type="bibr" rid="scirp.67301-ref1">1</xref>] by the Tikhonov regularization for the Hadamard product inversions for matrices and we discussed their properties and gave several physical interpretations on the general fractions in [<xref ref-type="bibr" rid="scirp.67301-ref2">2</xref>] for the case of real numbers. The result is a very special case for general fractional functions in [<xref ref-type="bibr" rid="scirp.67301-ref3">3</xref>] .</p><p>The division by zero has a long and mysterious story over the world (see, for example, Google site with the division by zero) with its physical viewpoints since the document of zero in India on AD 628; however, Sin-Ei Takahasi ( [<xref ref-type="bibr" rid="scirp.67301-ref2">2</xref>] ) established a simple and decisive interpretation (2) by analyzing the extensions of fractions and by showing the complete characterization for the property (2):</p><p>Proposition 1. Let F be a function from <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x8.png" xlink:type="simple"/></inline-formula> to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x9.png" xlink:type="simple"/></inline-formula> satisfying</p><disp-formula id="scirp.67301-formula635"><graphic  xlink:href="http://html.scirp.org/file/4-2230108x10.png"  xlink:type="simple"/></disp-formula><p>for all</p><disp-formula id="scirp.67301-formula636"><graphic  xlink:href="http://html.scirp.org/file/4-2230108x11.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.67301-formula637"><graphic  xlink:href="http://html.scirp.org/file/4-2230108x12.png"  xlink:type="simple"/></disp-formula><p>Then, we obtain, for any <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x13.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.67301-formula638"><graphic  xlink:href="http://html.scirp.org/file/4-2230108x14.png"  xlink:type="simple"/></disp-formula><p>Note that the complete proof of Proposition 1 is simply done with 2 or 3 lines.</p><p>We thus should consider, for any complex number b, as (2); that is, for the mapping</p><disp-formula id="scirp.67301-formula639"><label>(3)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x15.png"  xlink:type="simple"/></disp-formula><p>the image of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x16.png" xlink:type="simple"/></inline-formula> is <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x17.png" xlink:type="simple"/></inline-formula> (should be defined). This fact seems to be a curious one in connection with our well-established popular image for the point at infinity on the Riemann sphere ( [<xref ref-type="bibr" rid="scirp.67301-ref4">4</xref>] ). Therefore, the division by zero will give great impacts to complex analysis and to our ideas for the space and universe.</p><p>However, the division by zero (2) is now clear; indeed, for the introduction of (2), we have several independent approaches as in:</p><p>1) by the generalization of the fractions by the Tikhonov regularization or by the Moore-Penrose generalized inverse,</p><p>2) by the intuitive meaning of the fractions (division) by H. Michiwaki,</p><p>3) by the unique extension of the fractions by S. Takahasi, as in the above,</p><p>4) by the extension of the fundamental function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x18.png" xlink:type="simple"/></inline-formula> from <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x19.png" xlink:type="simple"/></inline-formula> into <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x20.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x21.png" xlink:type="simple"/></inline-formula> is a one to one and onto mapping from <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x22.png" xlink:type="simple"/></inline-formula> onto <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x23.png" xlink:type="simple"/></inline-formula> and the division by zero <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x24.png" xlink:type="simple"/></inline-formula> is a one to one and onto mapping extension of the function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x25.png" xlink:type="simple"/></inline-formula> from <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x26.png" xlink:type="simple"/></inline-formula> onto<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x27.png" xlink:type="simple"/></inline-formula>, and</p><p>5) by considering the values of functions with the mean values of functions.</p><p>Furthermore, in ( [<xref ref-type="bibr" rid="scirp.67301-ref5">5</xref>] ) we gave the results in order to show the reality of the division by zero in our world:</p><p>A) a field structure containing the division by zero―the Yamada field<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x28.png" xlink:type="simple"/></inline-formula>,</p><p>B) by the gradient of the y axis on the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x29.png" xlink:type="simple"/></inline-formula> plane―<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x30.png" xlink:type="simple"/></inline-formula>,</p><p>C) by the reflection <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x31.png" xlink:type="simple"/></inline-formula> of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x31.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x32.png" xlink:type="simple"/></inline-formula> with respect to the unit circle with center at the origin on the complex z plane―the reflection point of zero is zero, and</p><p>D) by considering rotation of a right circular cone having some very interesting phenomenon from some practical and physical problem.</p><p>See J. A. Bergstra, Y. Hirshfeld and J. V. Tucker ( [<xref ref-type="bibr" rid="scirp.67301-ref6">6</xref>] ) for the relationship between fields and the division by zero, and the importance of the division by zero for computer science. It seems that the relationship of the division by zero and field structures are abstract in their paper.</p><p>Meanwhile, J. P. Barukcic and I. Barukcic ( [<xref ref-type="bibr" rid="scirp.67301-ref7">7</xref>] ) discussed recently the relation between the division 0/0 and special relative theory of Einstein.</p><p>Furthermore, T. S. Reis and J.A.D.W. Anderson ( [<xref ref-type="bibr" rid="scirp.67301-ref8">8</xref>] [<xref ref-type="bibr" rid="scirp.67301-ref9">9</xref>] ) extend the system of the real numbers containing division by zero.</p><p>Meanwhile, we should refer to up-to-date information:</p><p>Riemann Hypothesis Addendum―Breakthrough</p><p>Kurt Arbenz: https://www.researchgate.net/publication/272022137 Riemann Hypothesis Addendum―Break- through.</p><p>Here, we recall Albert Einstein’s words on mathematics: Blackholes are where God divided by zero. I don’t believe in mathematics. George Gamow (1904-1968) Russian-born American nuclear physicist and cosmologist remarked that “it is well known to students of high school algebra” that division by zero is not valid; and Einstein admitted it as the biggest blunder of his life (Gamow, G., My World Line (Viking, New York). p 44, 1970).</p><p>For the definitions <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x33.png" xlink:type="simple"/></inline-formula> and (2), we should note that they are not the usual fractions defined by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x33.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x34.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x33.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x35.png" xlink:type="simple"/></inline-formula> as the inverses of products that mean contradictions, immediately. They are just given as definitions for the pairs <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x33.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x35.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x36.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x33.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x35.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x36.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x37.png" xlink:type="simple"/></inline-formula>, respectively. This precise meaning is given by Proposition 1. Note that for the introduction of the Y-field ( [<xref ref-type="bibr" rid="scirp.67301-ref5">5</xref>] ) containing the division by zero, the meaning is the same. For calculations containing the division by zero, we can apply the Y-field laws. In particular, note that the general product property</p><disp-formula id="scirp.67301-formula640"><label>(4)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x38.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.67301-formula641"><label>(5)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x39.png"  xlink:type="simple"/></disp-formula><p>are valid and the sum is given by</p><disp-formula id="scirp.67301-formula642"><graphic  xlink:href="http://html.scirp.org/file/4-2230108x40.png"  xlink:type="simple"/></disp-formula><p>However, the sum law</p><disp-formula id="scirp.67301-formula643"><label>(6)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x41.png"  xlink:type="simple"/></disp-formula><p>is, in general, not valid, however, if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x42.png" xlink:type="simple"/></inline-formula> or<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x42.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x43.png" xlink:type="simple"/></inline-formula>, then the sum law is valid, and further properties for the general fractions, see ( [<xref ref-type="bibr" rid="scirp.67301-ref10">10</xref>] ).</p><p>In this paper, we will discuss the division by zero in matrices and we will be able to see that the division by zero is our elementary and fundamental mathematics. We will introduce a new space for the Euclidean plane. Indeed, for the point at infinity on the Riemann sphere, we will introduce a new idea and fact.</p></sec><sec id="s2"><title>2. Division by Zero in Cramer’s Law</title><p>We will recall the elementary Cramer’s law. We write lines by</p><disp-formula id="scirp.67301-formula644"><label>(7)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x44.png"  xlink:type="simple"/></disp-formula><p>The common point <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x45.png" xlink:type="simple"/></inline-formula> is given by, if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x45.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x46.png" xlink:type="simple"/></inline-formula>; that is, the lines are not parallel, by the Cramer’s law</p><disp-formula id="scirp.67301-formula645"><label>(8)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x47.png"  xlink:type="simple"/></disp-formula><p>By the division by zero, we can understand that if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x48.png" xlink:type="simple"/></inline-formula>, then the common point is always given by</p><disp-formula id="scirp.67301-formula646"><label>(9)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x49.png"  xlink:type="simple"/></disp-formula><p>even when the two lines are the same.</p><p>The division by zero, in particular, means, surprisingly, that the point at infinity is represented by zero, that is, the coincidence of the point at infinity and the origin. Precisely, the point at infinity (topological point) is represented by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x50.png" xlink:type="simple"/></inline-formula> with the number. The point at infinity is a point of one-point compactification of Aleksandrov and is not represented by the number of the infinity as in the common sense. We can see that the whole line on the plane passes the point at infinity, by the stereographic projection into the Riemann sphere. The point at infinity is represented by the zero <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x51.png" xlink:type="simple"/></inline-formula> and so, every line on the plane passes the origin in this sense.</p><p>This fact may be understood that the point at infinity is reflected to the origin. In this sense, the origin will have double natures of the native origin and reflection of the point at infinity. The latter has a strong discontinuity.</p></sec><sec id="s3"><title>3. The Point at Infinity</title><p>We will be able to see the whole Euclidean plane by the stereographic projection into the Riemann sphere―We think that in the Euclidean plane, there does not exist the point at infinity.</p><p>However, we can consider it as a limit like &#165;. Recall the definition of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x52.png" xlink:type="simple"/></inline-formula> by e-d logic; that is, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x53.png" xlink:type="simple"/></inline-formula>if and only if for any large<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x53.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x54.png" xlink:type="simple"/></inline-formula>, there exists a number <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x53.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x55.png" xlink:type="simple"/></inline-formula> such that for any z satisfying<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x53.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x56.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x53.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x57.png" xlink:type="simple"/></inline-formula>. In this definition, the infinity &#165; does not appear. The infinity is not a number, but it is an ideal space point―one-point compactification of Aleksandrov.</p><p>The behavior of the space around the point at infinity may be considered by that around the origin by the linear transform <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x58.png" xlink:type="simple"/></inline-formula> ( [<xref ref-type="bibr" rid="scirp.67301-ref4">4</xref>] ). We thus see that</p><disp-formula id="scirp.67301-formula647"><label>(10)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x59.png"  xlink:type="simple"/></disp-formula><p>however,</p><disp-formula id="scirp.67301-formula648"><label>(11)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x60.png"  xlink:type="simple"/></disp-formula><p>by the division by zero. Here, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x61.png" xlink:type="simple"/></inline-formula>denotes the value of the function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x62.png" xlink:type="simple"/></inline-formula> at the topological point at the infinity in one point compactification by Aleksandrov. The difference of (10) and (11) is very important as we see clearly by the function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x63.png" xlink:type="simple"/></inline-formula> and the behavior at the origin. The limiting value to the origin and the value at the origin are different. For surprising results, we will state the property in the real space as follows:</p><disp-formula id="scirp.67301-formula649"><label>(12)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x64.png"  xlink:type="simple"/></disp-formula><p>however,</p><disp-formula id="scirp.67301-formula650"><label>(13)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x65.png"  xlink:type="simple"/></disp-formula><p>Of course, two points <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x66.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x66.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x67.png" xlink:type="simple"/></inline-formula> are the same point as the point at infinity. However, &#177; will be convenient in order to show the approach directions.</p></sec><sec id="s4"><title>4. Interpretation by Area</title><p>In order to see some realization of the properties of (12) and (13), we will consider the triangle with the basic edge (side) a and high h. Then, the area S of the triangle is given by</p><disp-formula id="scirp.67301-formula651"><label>(14)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x68.png"  xlink:type="simple"/></disp-formula><p>By fixing the high h and the line containing the side a, we will consider the limiting<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x69.png" xlink:type="simple"/></inline-formula>. Then, of course,</p><disp-formula id="scirp.67301-formula652"><label>(15)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x70.png"  xlink:type="simple"/></disp-formula><p>However, we will see that</p><disp-formula id="scirp.67301-formula653"><label>(16)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x71.png"  xlink:type="simple"/></disp-formula><p>just like the division by zero, because, when<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x72.png" xlink:type="simple"/></inline-formula>, the triangle is broken, we cannot consider the area of the triangle. Here, the notation <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x73.png" xlink:type="simple"/></inline-formula> is not good, however, its meaning is clear; it will mean the case of parallel lines of the line containing the side a and the line through the fixed vertex of the triangles when we consider a tending to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x74.png" xlink:type="simple"/></inline-formula>.</p><p>The strong discontinuity of the division by zero is appeared as the broken of the triangles. These phenomena may be looked in many situations as the universe one. We can consider similar problems for many types volumes. However, the simplest cases are disc and sphere (ball) with radius 1/R. When<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x75.png" xlink:type="simple"/></inline-formula>, the areas and volumes tend to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x75.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x76.png" xlink:type="simple"/></inline-formula>, however, when<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x75.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x76.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x77.png" xlink:type="simple"/></inline-formula>, they are zero, because they become the half-plane and half-space, respectively.</p></sec><sec id="s5"><title>5. Interpretation by Analytic Geometry</title><p>The results in Section 4 may be interpreted beautifully by analytic geometry and matrix theory.</p><p>We write lines by</p><disp-formula id="scirp.67301-formula654"><label>(17)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x78.png"  xlink:type="simple"/></disp-formula><p>The area S of the triangle surrounded by these lines is given by</p><disp-formula id="scirp.67301-formula655"><label>(18)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x79.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x80.png" xlink:type="simple"/></inline-formula> is</p><disp-formula id="scirp.67301-formula656"><graphic  xlink:href="http://html.scirp.org/file/4-2230108x81.png"  xlink:type="simple"/></disp-formula><p>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x82.png" xlink:type="simple"/></inline-formula> is the co-factor of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x83.png" xlink:type="simple"/></inline-formula> with respect to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x84.png" xlink:type="simple"/></inline-formula>. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x85.png" xlink:type="simple"/></inline-formula>if and only if the corresponding lines are parallel. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x86.png" xlink:type="simple"/></inline-formula>if and only if the three lines are parallel or they have a common point. We can see that the degeneracy (broken) of the triangle may be interpreted by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x86.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x87.png" xlink:type="simple"/></inline-formula> beautifully, by the division by zero.</p><p>For a function</p><disp-formula id="scirp.67301-formula657"><label>(19)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x88.png"  xlink:type="simple"/></disp-formula><p>the radius R of the circle <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x89.png" xlink:type="simple"/></inline-formula> is given by</p><disp-formula id="scirp.67301-formula658"><label>(20)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x90.png"  xlink:type="simple"/></disp-formula><p>If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x91.png" xlink:type="simple"/></inline-formula>, then the area <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x91.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x92.png" xlink:type="simple"/></inline-formula> of the disc is zero, by the division by zero; that is, the circle is a line (degenerate).</p><p>When we apply the division by zero to functions, we can consider, in general, many ways.</p><p>For example, for the function<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x93.png" xlink:type="simple"/></inline-formula>, when we insert <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x93.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x94.png" xlink:type="simple"/></inline-formula> in numerator and denominator, we have</p><disp-formula id="scirp.67301-formula659"><label>(21)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x95.png"  xlink:type="simple"/></disp-formula><p>However, from the identity―the Laurent expansion around<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x96.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.67301-formula660"><label>(22)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x97.png"  xlink:type="simple"/></disp-formula><p>we have</p><disp-formula id="scirp.67301-formula661"><label>(23)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x98.png"  xlink:type="simple"/></disp-formula><p>For analytic functions we can give uniquely determined values at isolated singular points by the values by means of the Laurent expansions as in (22), however, the values by means of the Laurent expansions are not always reasonable. We will need to consider many interpretations for reasonable values. In many formulas in mathematics and physics, we can see that the division by zero is valid. See [<xref ref-type="bibr" rid="scirp.67301-ref2">2</xref>] [<xref ref-type="bibr" rid="scirp.67301-ref5">5</xref>] . In connection with lines, we will state examples.</p><p>The center of the circle (19) is given by</p><disp-formula id="scirp.67301-formula662"><label>(24)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x99.png"  xlink:type="simple"/></disp-formula><p>Therefore, the center of a general line</p><disp-formula id="scirp.67301-formula663"><label>(25)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x100.png"  xlink:type="simple"/></disp-formula><p>may be considered as the origin<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x101.png" xlink:type="simple"/></inline-formula>, by the division by zero.</p><p>We consider the functions</p><disp-formula id="scirp.67301-formula664"><label>(26)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x102.png"  xlink:type="simple"/></disp-formula><p>The distance d of the centers of the circles <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x103.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x104.png" xlink:type="simple"/></inline-formula> is given by</p><disp-formula id="scirp.67301-formula665"><label>(27)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x105.png"  xlink:type="simple"/></disp-formula><p>If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x106.png" xlink:type="simple"/></inline-formula>, then by the division by zero</p><disp-formula id="scirp.67301-formula666"><label>(28)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x107.png"  xlink:type="simple"/></disp-formula><p>Then, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x108.png" xlink:type="simple"/></inline-formula>is a line and its center is the origin<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x108.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x109.png" xlink:type="simple"/></inline-formula>. Therefore, the result is very reasonable.</p><p>Meanwhile, the identity <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x110.png" xlink:type="simple"/></inline-formula> is valid always, however <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x110.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x111.png" xlink:type="simple"/></inline-formula> is not valid for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x110.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x111.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x112.png" xlink:type="simple"/></inline-formula>, in the sense of the division by zero, because we consider the formula at<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x110.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x111.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x112.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x113.png" xlink:type="simple"/></inline-formula>, with not the limiting values.</p></sec><sec id="s6"><title>6. Interpretation with Volumes</title><p>We write four planes by</p><disp-formula id="scirp.67301-formula667"><label>(29)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x114.png"  xlink:type="simple"/></disp-formula><p>The volume V of the tetrahedron surrounded by these planes is given by</p><disp-formula id="scirp.67301-formula668"><label>(30)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x115.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x116.png" xlink:type="simple"/></inline-formula> is</p><disp-formula id="scirp.67301-formula669"><graphic  xlink:href="http://html.scirp.org/file/4-2230108x117.png"  xlink:type="simple"/></disp-formula><p>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x118.png" xlink:type="simple"/></inline-formula> is the co-factor of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x118.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x119.png" xlink:type="simple"/></inline-formula> with respect to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x118.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x119.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x120.png" xlink:type="simple"/></inline-formula>. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x118.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x119.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x120.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x121.png" xlink:type="simple"/></inline-formula>if and only if two planes of the corresponding three planes are parallel. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x118.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x119.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x120.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x122.png" xlink:type="simple"/></inline-formula>if and only if the four planes <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x118.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x119.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x120.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x122.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x123.png" xlink:type="simple"/></inline-formula> contain four lines <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x118.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x119.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x120.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x122.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x123.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x124.png" xlink:type="simple"/></inline-formula> (for each k, respectively) that are parallel or have a common line. We can see that the degeneracy of the tetrahedron may be interpreted by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x118.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x119.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x120.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x122.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x123.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x124.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x125.png" xlink:type="simple"/></inline-formula> beautifully, by the division by zero.</p></sec><sec id="s7"><title>7. In the Torsion Formula</title><p>For the torsion formula</p><disp-formula id="scirp.67301-formula670"><label>(31)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x126.png"  xlink:type="simple"/></disp-formula><p>if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x127.png" xlink:type="simple"/></inline-formula>, then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x127.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x128.png" xlink:type="simple"/></inline-formula>, by the division by zero. This result will be natural than infinity, in the common sense.</p></sec><sec id="s8"><title>8. In Spring or Circut</title><p>We will give a typical physical example of the division by zero.</p><p>We will consider a spring with two spring constants <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x129.png" xlink:type="simple"/></inline-formula> in a line. Then, the spring constant k of the spring is given by the formula</p><disp-formula id="scirp.67301-formula671"><label>(32)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x130.png"  xlink:type="simple"/></disp-formula><p>by Hooke’s law. We know, in particular, if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x131.png" xlink:type="simple"/></inline-formula>, then</p><disp-formula id="scirp.67301-formula672"><label>(33)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x132.png"  xlink:type="simple"/></disp-formula><p>and by the division by zero,</p><disp-formula id="scirp.67301-formula673"><label>(34)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x133.png"  xlink:type="simple"/></disp-formula><p>that is very reasonable. In particular, by Hooke’s law, we see that</p><disp-formula id="scirp.67301-formula674"><label>(35)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x134.png"  xlink:type="simple"/></disp-formula><p>The corresponding result for the case of Ohmu’s law is similar and valid.</p></sec><sec id="s9"><title>9. In Differential Equations</title><p>We will consider the fundamental ordinary differential equation</p><disp-formula id="scirp.67301-formula675"><label>(36)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x135.png"  xlink:type="simple"/></disp-formula><p>satisfying the initial conditions</p><disp-formula id="scirp.67301-formula676"><label>(37)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x136.png"  xlink:type="simple"/></disp-formula><p>Then we have the solution</p><disp-formula id="scirp.67301-formula677"><label>(38)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x137.png"  xlink:type="simple"/></disp-formula><p>with</p><disp-formula id="scirp.67301-formula678"><graphic  xlink:href="http://html.scirp.org/file/4-2230108x138.png"  xlink:type="simple"/></disp-formula><p>Then, for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x139.png" xlink:type="simple"/></inline-formula>, we obtain, immediately, by the division by zero, since<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x139.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x140.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.67301-formula679"><label>(39)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x141.png"  xlink:type="simple"/></disp-formula><p>In this case, by continuity we can obtain the same result:</p><disp-formula id="scirp.67301-formula680"><graphic  xlink:href="http://html.scirp.org/file/4-2230108x142.png"  xlink:type="simple"/></disp-formula><p>However, in the next example, we will need essentially the concept of the division by zero.</p><p>We will consider the typical ordinary differential equation</p><disp-formula id="scirp.67301-formula681"><label>(40)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x143.png"  xlink:type="simple"/></disp-formula><p>satisfying the initial conditions</p><disp-formula id="scirp.67301-formula682"><label>(41)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x144.png"  xlink:type="simple"/></disp-formula><p>Then we have the solution</p><disp-formula id="scirp.67301-formula683"><label>(42)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x145.png"  xlink:type="simple"/></disp-formula><p>Then, if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x146.png" xlink:type="simple"/></inline-formula>, we obtain, immediately, by the division by zero</p><disp-formula id="scirp.67301-formula684"><label>(43)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x147.png"  xlink:type="simple"/></disp-formula><p>Furthermore, if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x148.png" xlink:type="simple"/></inline-formula>, then have</p><disp-formula id="scirp.67301-formula685"><label>(44)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-2230108x149.png"  xlink:type="simple"/></disp-formula><p>We can find many and many such examples.</p></sec><sec id="s10"><title>10. Conclusions</title><p>By the division by zero<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x150.png" xlink:type="simple"/></inline-formula>, we can give new and practical meanings for many mathematical and physical formulas for the denominator zero cases. We introduced the new space idea for the point at infinity for the Eucleadian plane. This new idea will give great impacts on our general ideas on the universe over mathematics.</p><p>In the sense of the division by zero, the number of infinity should be excluded; however, in limits we can consider the infinity in the common sense. We should distinguish the infinity in the senses of a point at infinity in one point compactification and of the infinity in some limit. The point at infinity in one point compactification is represented by the number<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-2230108x151.png" xlink:type="simple"/></inline-formula>.</p></sec><sec id="s11"><title>Acknowledgements</title><p>The first author is supported in part by the Grant-in-Aid for the Scientific Research (C) (2) (No. 26400192). Saitoh wishes to express his deep thanks Professor Haydar Akca for his kind invitation of the paper ( [<xref ref-type="bibr" rid="scirp.67301-ref5">5</xref>] ) based on recent results for the division by zero and Professor Jan Bergstra for his kind suggestions on this paper. The authors wish to express their sincere thanks to Dr. Masako Takagi for her kind suggestions for the manuscript.</p></sec><sec id="s12"><title>Cite this paper</title><p>Tsutomu Matsuura,Saburou Saitoh, (2016) Matrices and Division by Zero z/0 = 0. Advances in Linear Algebra &amp; Matrix Theory,06,51-58. doi: 10.4236/alamt.2016.62007</p></sec></body><back><ref-list><title>References</title><ref id="scirp.67301-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Saitoh, S. (2014) Generalized Inversions of Hadamard and Tensor Products for Matrices. Advances in Linear Algebra &amp; Matrix Theory, 4, 87-95. http://www.scirp.org/journal/ALAMT/</mixed-citation></ref><ref id="scirp.67301-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Kuroda, M., Michiwaki, H., Saitoh, S. and Yamane, M. (2014) New Meanings of the Division by Zero and Interpretations on 100/0 = 0 and on 0/0 = 0. International Journal of Applied Mathematics, 27, 191-198.http://dx.doi.org/10.12732/ijam.v27i2.9</mixed-citation></ref><ref id="scirp.67301-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Castro, L.P. and Saitoh, S. (2013) Fractional Functions and Their Representations. Complex Analysis and Operator Theory, 7, 1049-1063. http://dx.doi.org/10.1007/s11785-011-0154-1</mixed-citation></ref><ref id="scirp.67301-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Ahlfors, L.V. (1966) Complex Analysis. McGraw-Hill Book Company.</mixed-citation></ref><ref id="scirp.67301-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Michiwaki, H., Saitoh, S. and Yamada, M. (2015) Reality of the Division by Zero z/0 = 0. International Journal of Applied Physics and Mathematics, 6, 1-8. http://www.ijapm.org/show-63-504-1.html</mixed-citation></ref><ref id="scirp.67301-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Bergstra, J.A., Hirshfeld, Y. and Tucker, J.V. (2009) Meadows and the Equational Specification of Division. arXiv: 0901.0823v1[math.RA].</mixed-citation></ref><ref id="scirp.67301-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Barukcic, J.P. and Barukcic, I. (2015) Anti Aristotle. The Division of Zero by Zero. ViXra.org, Ilija Baruk, Jever, Germany.</mixed-citation></ref><ref id="scirp.67301-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Reis, T.S. and Anderson, J.A.D.W. (2014) Transdifferential and Transintegral Calculus. Proceedings of the World Congress on Engineering and Computer Science, San Francisco, 22-24 October 2014.</mixed-citation></ref><ref id="scirp.67301-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Reis, T.S. and Anderson, J.A.D.W. (2015) Transreal Calculus. IAENG International Journal of Applied Mathematics, 45, 1-15.</mixed-citation></ref><ref id="scirp.67301-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Takahasi, S.-E., Tsukada, M. and Kobayashi, Y. (2015) Classification of Continuous Fractional Binary Operations on the Real and Complex Fields. Tokyo Journal of Mathematics, 38, 369-380. http://dx.doi.org/10.3836/tjm/1452806046</mixed-citation></ref></ref-list></back></article>