<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>A Linear Algebra Wiki</article-title>
      </title-group>
      <contrib-group>
        <aff id="aff0">
          <label>0</label>
          <institution>Michael Doob Department of Mathematics The University of Manitoba Winnipeg</institution>
          ,
          <addr-line>Manitoba</addr-line>
          ,
          <country country="CA">Canada</country>
          <addr-line>R3T 2N2</addr-line>
        </aff>
      </contrib-group>
      <abstract>
        <p>This paper is a report on an ongoing project of two years. Its purpose is to provide a resource for Linear Algebra at the undergraduate level that can, in particular, be used as a textbook. The experiences, both good and bad are given, and these are used to indicate future directions for the project. Movitation #1: Correctability The initial motivation for this project came from teaching an introductory course in Linear Algebra for first-year university students after having not done so for many years. I was really dissatisfied with the textbook. For example, the following “proof” was given: Theorem 2.2.2 Let A be a square matrix. Then det(A) = det(AT ). Proof By Theorem 2.1.1, the determinant of A found by cofactor expansion along its first row is the same as the determinant of AT found by cofactor expansion along its first column.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>1.1</p>
    </sec>
    <sec id="sec-2">
      <title>Motivation</title>
      <p>1.2
be essentially linear (each chapter uses results proven in earlier chapters).
1.3</p>
      <sec id="sec-2-1">
        <title>Movitation #3: It’s Easier to be an Editor than an Author/Editor</title>
        <p>Writing a book is a huge task. Revising it for later editions is almost as bad. However, writing a small
section of a book is pretty easy, and it’s usually not too difficult to get volunteers to undertake such a
task. Similarly, the quality and the levels of difficulty of the exercises in a book is an important (and often
underestimated) aspect of the presentation. Getting voluteers to contribute a modest number of exercises
is not too difficult. Of course, as with any open project, there must be an editor (dictator) in charge to
ensure that all contributions to the project are consistent.
2</p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>Why a wiki</title>
      <p>
        The motivations given in the last section drive the choice of software towards a wiki[
        <xref ref-type="bibr" rid="ref3">3</xref>
        ], and many of the
problems mentioned in the previous section are solved easily by this choice. The greatest asset is that the
data does not have a linear structure as a book does but, rather, is organized as a tree. There are several
impications of this structure:
      </p>
      <p>The same material may be examined from different viewpoints. The most straightforward one may
be given in a page with links to deeper or more subtle arguments.</p>
      <p>Forward references are natural; many times it is both expedient and useful to defer a proof of a
mathematical concept until a better understanding of the underlying structures has been acquired.
By custom, a book will give the proof immediately after its statement (or not at all!).
Tangential but interesting topics can be explored via a link without interrupting the general flow of
the main text.</p>
      <p>More repetition is possible: a theorem may have several similar parts with subtly different proofs.
There is simply not enough room in a book to repeat similar proofs (a standard trick is to move
some proofs to the exercises), but it is not a problem (and even encouraged) with separate links for
comparable material.</p>
      <sec id="sec-3-1">
        <title>There are other advantages with a wiki:</title>
        <p>The use of colour is quite expensive for a book; it costs nothing in a wiki.</p>
      </sec>
      <sec id="sec-3-2">
        <title>Photographs are quite expensive for a book; it costs nothing in a wiki.</title>
        <p>Putting a copy of a textbook as a file on a student’s computer as, say, a PDF file is (copyright)
problematic; it is straightforward with a simple wiki extension.</p>
        <p>The inclusion of accurate graphics (e.g., two dimensional or three dimensional plots) is also
straigtforward.</p>
      </sec>
      <sec id="sec-3-3">
        <title>The use of animations is easy.</title>
        <p>Students taking a first-year university course are usually still in their teens. This means, for the
current crop of students, that the home computer has always been commonplace, and that any software
more than ten years old has been around forever. In particular, they have never known a time when
computers didn’t come with a browser that could access Wikipedia. Wikis for them are like radios for
us: we know that there was a time when they didn’t exist, but we can’t really imagine it. Just as we
can’t really appreciate the awe that must have been felt by an adult who, for the first time, heard sound
coming out of thin air, our first-year students feel that it is no big deal to have an enormous database like
Wikipedia available from their bedrooms on a 24/7 basis.</p>
        <p>This is, in fact, a wonderful opportunity. The student comes with a skill set that can be very useful. I
have, by intention, made my wiki look much like Wikipedia. By doing this, I don’t have to tell students
where to look for help, or where the print button is: they just do the right thing.</p>
        <p>As another example, a theorem may have several parts with each dependent on the proofs of the
previous ones or with all of them logically equivalent. In either case, the part may be stated with a link
labelled “Proof” next to it. No further explanation is necessary; the student knows exactly what to do.
3</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>The first steps</title>
      <p>To test the efficacy of the wiki in the classroom, I volunteered (!) to teach a large-section, one-term linear
algebra course over several terms. The students in this course have varied levels of ability and ambition.
Some just want to be through with their math requirements while others know that they want an honours
degree in mathematics. The content of the course is not atypical: Solving systems of linear equations,
Gauss-Jordan reduction, some two and three dimensional geometry, and an introduction to vector spaces.</p>
      <p>The initial wiki pages were actually expanded lecture notes. Students were encouraged to read them
and print them out in advance of the lectures. They were also encouraged to find errors (and indeed they
did!). The basic structure for the course and the problems assigned came from the textbook as usual. In
a certain sense, this was an anti-wiki: the material was edited by one person and the advantage of the
cooperative nature of a wiki was just thrown away. Argueably, the first step in building a quality
implementation is to run a simpler prototype and find out what actually happens (goes wrong, in particular),
and so that is the approach that was used. Feedback from the students could then be used as an aid for
deciding the best way to proceed. The reactions of students were gauged in two ways:
The access count of each page was monitored. In this way it was possible to see which pages were
actually used.</p>
      <p>Comments on the wiki were invited as part of our standard student evaluation questionnaire given
at the end of the course.</p>
      <p>A second initiative concerning the wiki implementation involved the method of presentation of the
mathematics on the web pages. Three approaches were used:</p>
      <p>The “default” approach: using software on the server to generate and cache png files of the
mathematics used on the page.</p>
      <p>MathJax, which uses JavaScript within the browser to create the mathematics for the page
on-thefly.</p>
      <p>Translate a math snippet into MathML, which is then displayed using the abilities of the browser.
All three of these have been used as part of the initial tests of the wiki with varying results which are
described in more detail in the Subsection 5.1.</p>
    </sec>
    <sec id="sec-5">
      <title>4 Initial results</title>
      <p>The response from students to the questionnaires has been overwhelming positive. Over 90% are strongly
supportive of the idea of having a wiki for the presentation of course materials. They had some additional
interesting ideas within the latest questionaire (May 5, 2011):</p>
      <p>Very fond of the homemade Wikipedia. Made finding information very simple.</p>
      <p>The wiki was actually very awesome—the only thing missing was some kind of interactive
quiz that tested knowledge.</p>
      <p>It would be great if the wiki showed where we were in the course at any given time.
Wonderful substitute for textbook and great was to save students a few bucks, and take
advantage of new and different technologies.</p>
      <p>There were a few really negative responses, but unfortunately they didn’t go into detail. It might have
been really helpful to know the reasons for their feelings.</p>
      <p>There were also some qualified endorsements.</p>
      <p>The wiki is helpful but there are a few math errors that need some editing.</p>
      <p>The wiki pages took a long time in downloading and sometimes didn’t work. The note
printouts were missing the symbol q sometimes so there would be a blank space left.</p>
      <p>Many responses indicated that the student prefered a dynamic wiki to a standard textbook. How
could anyone be surprised by this? Nonetheless, some questions to ask are:</p>
      <p>Will the wiki actually increase the level of competence of the students? For example, giving
solutions to (at least some of the) exercises is certainly desirable. If these solutions are only a click
away, will the temptation to look before actually working on the exercises be too great to resist?
Will the tail wag the dog? The goal is to help the student learn the mathematics, and not to entertain
them. A sense of proportion is necessary.</p>
      <p>Mathematics must be seen as more than a collection of algorithms. Does the wiki format help or
hinder this process?</p>
    </sec>
    <sec id="sec-6">
      <title>5 Implications of Display Methods</title>
      <p>5.1</p>
      <sec id="sec-6-1">
        <title>Inserting Mathematics within the Text on the Page</title>
        <p>Several methods were used to display mathematics on the wiki pages. Each came with assets and
liabilities:</p>
        <p>
          The default (texvc) method [
          <xref ref-type="bibr" rid="ref2">2</xref>
          ]: the material designated as mathematics is sent through LATEX to
create a dvi file. This file is sent through dvipng to create a png file. The png file is then inserted
into the page as a graphic image. This method works quite well: it is very fast and produces
accurate results. However, the results are bitmapped, and, as such, can not be changed when the
font sizes in the display are changed (by the user or otherwise). There are usually no problems with
pixellation, but the potential for problems is there for complicated constructions (the rendering of
subsubscript i versus subsubscript iota, for example).
The MathJax method: MathJax is a javascript application [
          <xref ref-type="bibr" rid="ref1">1</xref>
          ] which may be used to render
mathematics on wiki pages. It produces beautiful results that may be enlarged when the font size of
the surrounding text is changed. It can also be used with some of the special LATEX packages (for
example, amsmath) available for mathematicians. However, each time a new page is accessed, it
is run through MathJax and the time required to render a complicated page may be lengthy. In
addition, when jumping to a specific location on a new page, the position may be lost as the page
is rendered.
        </p>
        <p>The MathML method: MathJax can translate the material designated as mathematics into MathML
code. An appropriate browser is necessary, of course. When such a browser is used, the
mathematics is rendered much more quickly than with MathJax using javascript. There still is some
delay on complicated pages. The problem of the loss of position when the page is rendered is also
a problem with this method.</p>
        <p>In short, the rendering of the mathematics on wiki pages is still a work in progress. The solutions
currently being used are still pretty new. I expect them to improve a lot in the next few years.</p>
        <p>It is interesting to note the students’ solution to the display problems. If they couldn’t read the screen,
then just pushed the print button and looked at the resulting pdf file. It looked fine most of the time.
5.2</p>
      </sec>
      <sec id="sec-6-2">
        <title>Multimedia displays</title>
        <p>The use of multimedia software is, of course, one the most exciting prospects within a wiki site. The
dynamic content at this point consists of animated gifs. These have been produced using different
approaches:
1. Use TEX to make a dvi file of each image.
2. Make a cropped PostScript file of each image using dvips.
3. Convert the PostScript file to a gif.</p>
        <p>4. Stitch the gifs together to make an animated gif.</p>
        <p>Use a symbolic manipulator (Maple in this case) to make an animation and save it as an animated
gif.</p>
        <p>Make a shell script to generate PostScript files, and stitch them together in an animated gif.
6</p>
      </sec>
    </sec>
    <sec id="sec-7">
      <title>Next steps</title>
      <p>The work done so far is just one step in a larger project. The next goal is a wiki covering undergraduate
linear algebra. It will be structured is such a way to allow the material to be used in different ways for
different courses.</p>
      <p>Any list of topics is necessarily idiosyncratic. Initially the list of topics covered will include:</p>
      <sec id="sec-7-1">
        <title>Vector spaces over R, C, finite fields and general fields.</title>
        <p>Subspaces. Linear independence, generating (spanning) sets, bases. Dimension. Infinite
dimensional vector spaces. Direct sums. Every vector space has a basis (application of Zorn’s Lemma
or some other form of AC).</p>
        <p>Matrices. Matrix algebra. Inverses of matrices. Singular matrices. Determinants. Rank of
matrices. Equivalent conditions for nonsingularity. Row space, column space, null space, rank of
matrices and their interrelations.
The theory of systems of linear equations. Elementary matrices. Gaussian Elimination. The
reduced row echelon form. Solution space of a homogeneous system, particular and general
solutions of an arbitrary system.</p>
        <p>Linear transformations. Representation by matrices in the finite dimensional case. Fundamental
subspaces associated with a transformation (kernel, range). Fundamental subspaces associated
with a matrix and their connection to linear transformations. Dimension theorem.</p>
      </sec>
      <sec id="sec-7-2">
        <title>Linear operators on finite and infinite dimensional spaces.</title>
        <p>Linear functionals. Dual spaces. Duals of finite dimensional spaces; duals of infinite dimensional
spaces.</p>
        <p>Eigenvalues and eigenvectors of a linear operator; of a matrix. Characteristic equation of a matrix.
The minimal polynomial. Diagonalization of matrices (operators) and applications. Invariant
subspaces. Cayley-Hamilton theorem.</p>
        <p>Inner product spaces. Cauchy-Schwarz theorem. Orthogonal complements. The Gram-Schmidt
algorithm. Adjoint of a linear operator. Unitary, self-adjoint, normal and orthogonal operators and
their matrices. Diagonalization and self-adjoint operators.</p>
      </sec>
      <sec id="sec-7-3">
        <title>Jordan canonical form.</title>
        <p>Bilinear forms and their representations. Quadratic forms. Positive definite and positive
semidefinite bilinear forms.</p>
        <p>Each topic will have a page with a table of contents (automatically generated) that includes the list
of theorems, and will include separate links to proofs when appropriate, and many exercises of varying
difficulty. Solutions to all problems will be available.</p>
        <p>It will also become a collaborative project. A working group has been established and is looking at
finishing the next stage in a 12–18 month time period.</p>
        <p>The beauty of the wiki is that the material may be expanded or changed easily and on a collaborative
basis. It also keeps track of the dependencies between pages, an invaluable tool when choosing which
topics to cover. Alternative approaches are easily implemented.</p>
        <p>The approach so far has been incremental—this matches the philosophy of the wiki perfectly. Further
expansion after completing the next stage is anticipated.</p>
      </sec>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>[1] MathJax: http://www.mathjax.org/</mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          <article-title>[2] MediaWiki with texvc</article-title>
          : http://www.mediawiki.org/wiki/Texvc
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          <article-title>[3] The experimental wiki can be accessed</article-title>
          at http://wikitest.cs.umanitoba.ca/mathwiki/index. php/Math1300:MainPage
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>